Rev 2071 | Rev 2697 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2071 | Rev 2106 | ||
|---|---|---|---|
| Line 109... | Line 109... | ||
| 109 | for (cur = init.tasks[i].addr; cur < init.tasks[i].addr + init.tasks[i].size; cur += FRAME_SIZE) |
109 | for (cur = init.tasks[i].addr; cur < init.tasks[i].addr + init.tasks[i].size; cur += FRAME_SIZE) |
| 110 | page_mapping_insert(AS_KERNEL, PA2KA_CODE(KA2PA(cur)), KA2PA(cur), identity_flags); |
110 | page_mapping_insert(AS_KERNEL, PA2KA_CODE(KA2PA(cur)), KA2PA(cur), identity_flags); |
| 111 | } |
111 | } |
| 112 | 112 | ||
| 113 | exc_register(14, "page_fault", (iroutine) page_fault); |
113 | exc_register(14, "page_fault", (iroutine) page_fault); |
| 114 | write_cr3((uintptr_t) AS_KERNEL->page_table); |
114 | write_cr3((uintptr_t) AS_KERNEL->genarch.page_table); |
| 115 | } |
115 | } |
| 116 | else { |
116 | else { |
| 117 | write_cr3((uintptr_t) AS_KERNEL->page_table); |
117 | write_cr3((uintptr_t) AS_KERNEL->genarch.page_table); |
| 118 | } |
118 | } |
| 119 | } |
119 | } |
| 120 | 120 | ||
| 121 | 121 | ||
| 122 | /** Identity page mapper |
122 | /** Identity page mapper |