/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/pm.c |
---|
37,7 → 37,7 |
#include <config.h> |
#include <memstr.h> |
#include <mm/heap.h> |
#include <mm/slab.h> |
#include <debug.h> |
/* |
/kernel/trunk/arch/amd64/src/mm/page.c |
---|
44,7 → 44,7 |
if (config.cpu_active == 1) { |
page_mapping_operations = &pt_mapping_operations; |
/* |
* PA2KA(identity) mapping for all frames. |
*/ |
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); |
} |