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 |
} |
|