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)