SYSPAGESZ 174 bsp/hal/arm/integrator/machdep.c page_reserve(kvtop(SYSPAGE), SYSPAGESZ); SYSPAGESZ 152 bsp/hal/ppc/prep/machdep.c page_reserve(kvtop(SYSPAGE), SYSPAGESZ); SYSPAGESZ 157 bsp/hal/x86/pc/machdep.c page_reserve(kvtop(SYSPAGE), SYSPAGESZ);