| 115,19 → 115,14 |
|---|
| |
| // TODO: move to the kernel space |
| page_mapping_insert(AS_KERNEL, 0x00000000, 0x00000000, flags); |
| // TODO: remove when aux_printf not needed |
| page_mapping_insert(AS_KERNEL, 0x10000000, 0x10000000, flags); |
| page_mapping_insert(AS_KERNEL, 0x15000000, 0x15000000, flags); |
| page_mapping_insert(AS_KERNEL, 0x16000000, 0x16000000, flags); |
| |
| exc_register(EXC_DATA_ABORT, "page_fault data abort", (iroutine) data_abourt); |
| exc_register(EXC_PREFETCH_ABORT, "page_fault prefetch abort", (iroutine) prefetch_abourt); |
| |
| exc_register(EXC_DATA_ABORT, "page_fault data abort", (iroutine) data_abourt); |
| exc_register(EXC_PREFETCH_ABORT, "page_fault prefetch abort", (iroutine) prefetch_abourt); |
| as_switch(NULL, AS_KERNEL); |
| |
| /* Sets mapping to kernel mapping. It's nessesary to hw_map changes take place immediately |
| * after hw_map function is called. */ |
| as_switch( NULL, AS_KERNEL); |
| |
| // note for Alf: kernel part of page table is copied in generic/mm/as_pt.c/ptl0_create |
| // TODO: register fault routine |
| } |
| |