5 #define KERNEL_ADDR 0xc0100220
6 #define MODULE_ADDR 0xa0000000 // FIXME: Placeholder
8 #define PAGE_OFFSET 0xC0000000
9 #define TASK_SIZE (PAGE_OFFSET)
11 * Alternative possibilities for PAGE_OFFSET:
12 * default 0xB0000000 if VMSPLIT_3G_OPT
13 * default 0x78000000 if VMSPLIT_2G
14 * default 0x40000000 if VMSPLIT_1G
19 #define PTE_FILE_MAX_BITS 31
21 #define SYSCALLS syscalls_i386