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);