| 47,13 → 47,17 |
|---|
| page_mapping_operations = &pt_mapping_operations; |
| |
| flags = PAGE_CACHEABLE; |
| const unsigned maxmem = ALIGN_DOWN(config.memory_size, FRAME_SIZE); |
| |
| for (cur = 0; cur < maxmem; cur += FRAME_SIZE) { |
| //page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags); |
| } |
| //TODO set page fault routines |
| // no problem no ... kernel doesn't do page faults |
| /* PA2KA(identity) mapping for all frames until last_frame */ |
| for (cur = 0; cur < last_frame; cur += FRAME_SIZE) { |
| page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags); |
| } |
| |
| //SET_PTL0_ADDRESS_ARCH(AS_KERNEL->genarch.page_table); |
| |
| // note for Alf: kernel part of page table is copied in generic/mm/as_pt.c/ptl0_create |
| |
| // TODO: register fault routine |
| } |
| |
| /** Map device into kernel space. */ |