4 #define KERNEL_ADDR 0xfffff80000000000
5 #define MODULE_ADDR 0xffffffffa0000000L // FIXME: Placeholder
8 #define PTE_FILE_MAX_BITS (64UL - PAGE_SHIFT - 1UL)
10 #define KERNEL_ADDR 0xf0000000
11 #define TASK_SIZE 0xF0000000UL
13 #define PTE_FILE_MAX_BITS 24
16 #define SYSCALLS syscalls_sparc