Rev 2258 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2258 | Rev 2263 | ||
---|---|---|---|
Line 113... | Line 113... | ||
113 | page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags); |
113 | page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags); |
114 | } |
114 | } |
115 | 115 | ||
116 | // TODO: move to the kernel space |
116 | // TODO: move to the kernel space |
117 | page_mapping_insert(AS_KERNEL, 0x00000000, 0x00000000, flags); |
117 | page_mapping_insert(AS_KERNEL, 0x00000000, 0x00000000, flags); |
- | 118 | // TODO: remove when aux_printf not needed |
|
118 | page_mapping_insert(AS_KERNEL, 0x10000000, 0x10000000, flags); |
119 | page_mapping_insert(AS_KERNEL, 0x10000000, 0x10000000, flags); |
119 | page_mapping_insert(AS_KERNEL, 0x15000000, 0x15000000, flags); |
- | |
120 | page_mapping_insert(AS_KERNEL, 0x16000000, 0x16000000, flags); |
- | |
121 | - | ||
122 | 120 | ||
123 | exc_register(EXC_DATA_ABORT, "page_fault data abort", (iroutine) data_abourt); |
121 | exc_register(EXC_DATA_ABORT, "page_fault data abort", (iroutine) data_abourt); |
124 | exc_register(EXC_PREFETCH_ABORT, "page_fault prefetch abort", (iroutine) prefetch_abourt); |
122 | exc_register(EXC_PREFETCH_ABORT, "page_fault prefetch abort", (iroutine) prefetch_abourt); |
125 | 123 | ||
126 | /* Sets mapping to kernel mapping. It's nessesary to hw_map changes take place immediately |
- | |
127 | * after hw_map function is called. */ |
- | |
128 | as_switch( NULL, AS_KERNEL); |
124 | as_switch(NULL, AS_KERNEL); |
129 | 125 | ||
130 | // note for Alf: kernel part of page table is copied in generic/mm/as_pt.c/ptl0_create |
- | |
131 | // TODO: register fault routine |
126 | // TODO: register fault routine |
132 | } |
127 | } |
133 | 128 | ||
134 | /** |
129 | /** |
135 | * Map device into kernel space. |
130 | * Map device into kernel space. |