SYSPAGE           174 bsp/hal/arm/integrator/machdep.c 	page_reserve(kvtop(SYSPAGE), SYSPAGESZ);
SYSPAGE           152 bsp/hal/ppc/prep/machdep.c 	page_reserve(kvtop(SYSPAGE), SYSPAGESZ);
SYSPAGE           157 bsp/hal/x86/pc/machdep.c 	page_reserve(kvtop(SYSPAGE), SYSPAGESZ);
SYSPAGE            75 include/arm/syspage.h #define INTSTK		(SYSPAGE + 0x1000)
SYSPAGE            76 include/arm/syspage.h #define SYSSTK		(SYSPAGE + 0x2000)
SYSPAGE            77 include/arm/syspage.h #define BOOTINFO	(SYSPAGE + 0x3000)
SYSPAGE            78 include/arm/syspage.h #define ABTSTK		(SYSPAGE + 0x3400)
SYSPAGE            79 include/arm/syspage.h #define BOOTSTK		(SYSPAGE + 0x3800)
SYSPAGE            80 include/arm/syspage.h #define BOOT_PGD	(SYSPAGE + 0x4000)
SYSPAGE            81 include/arm/syspage.h #define BOOT_PTE0	(SYSPAGE + 0x8000)
SYSPAGE            82 include/arm/syspage.h #define BOOT_PTE1	(SYSPAGE + 0x9000)
SYSPAGE            68 include/ppc/syspage.h #define INTSTK		(SYSPAGE + 0x3000)
SYSPAGE            69 include/ppc/syspage.h #define BOOTINFO	(SYSPAGE + 0x4000)
SYSPAGE            70 include/ppc/syspage.h #define BOOTSTK		(SYSPAGE + 0x4400)
SYSPAGE            71 include/ppc/syspage.h #define BOOT_PGD	(SYSPAGE + 0x5000)
SYSPAGE            72 include/ppc/syspage.h #define BOOT_PTE0	(SYSPAGE + 0x6000)
SYSPAGE            65 include/x86/syspage.h #define INTSTK		(SYSPAGE + 0x1000)
SYSPAGE            66 include/x86/syspage.h #define BOOTINFO	(SYSPAGE + 0x2000)
SYSPAGE            67 include/x86/syspage.h #define BOOTSTK		(SYSPAGE + 0x2400)
SYSPAGE            68 include/x86/syspage.h #define BOOT_PGD	(SYSPAGE + 0x3000)
SYSPAGE            69 include/x86/syspage.h #define BOOT_PTE0	(SYSPAGE + 0x4000)