/kernel/trunk/arch/amd64/include/types.h |
39,6 → 39,7 |
typedef unsigned long long __u64; |
|
typedef __u64 __address; |
typedef __u64 pfn_t; |
|
/* Flags of processor (return value of interrupts_disable()) */ |
typedef __u64 ipl_t; |
/kernel/trunk/arch/amd64/src/mm/page.c |
51,7 → 51,6 |
for (cur = 0; cur < last_frame; cur += FRAME_SIZE) { |
page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, PAGE_CACHEABLE | PAGE_EXEC); |
} |
|
exc_register(14, "page_fault", (iroutine)page_fault); |
write_cr3((__address) AS_KERNEL->page_table); |
} |