| 38,32 → 38,24 |
|---|
| #include <memstr.h> |
| #include <interrupt.h> |
| |
| static __address bootstrap_dba; |
| |
| void page_arch_init(void) |
| { |
| __address dba; |
| __address cur; |
| |
| if (config.cpu_active == 1) { |
| page_operations = &page_pt_operations; |
| |
| dba = frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME, NULL); |
| memsetb(dba, PAGE_SIZE, 0); |
| |
| bootstrap_dba = dba; |
| |
| /* |
| * PA2KA(identity) mapping for all frames. |
| */ |
| for (cur = 0; cur < last_frame; cur += FRAME_SIZE) { |
| page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, PAGE_CACHEABLE | PAGE_EXEC, KA2PA(dba)); |
| page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, PAGE_CACHEABLE | PAGE_EXEC); |
| } |
| |
| exc_register(14, "page_fault", page_fault); |
| write_cr3(KA2PA(dba)); |
| write_cr3((__address) AS_KERNEL->page_table); |
| } |
| else { |
| write_cr3(KA2PA(bootstrap_dba)); |
| write_cr3((__address) AS_KERNEL->page_table); |
| } |
| } |