6 #define KERNEL_ADDR 0xfffff80000000000
7 #define MODULE_ADDR 0xffffffffa0000000L // FIXME: Placeholder
10 #define PTE_FILE_MAX_BITS 29
12 #define KERNEL_ADDR 0xf0000000
13 #define TASK_SIZE 0xF0000000UL
15 #define PTE_FILE_MAX_BITS 31
18 #define SYSCALLS syscalls_sh