INTSTKSZ           93 include/arm/syspage.h #define INTSTKTOP	(INTSTK + INTSTKSZ)
INTSTKSZ           80 include/ppc/syspage.h #define INTSTKTOP	(INTSTK + INTSTKSZ)
INTSTKSZ           77 include/x86/syspage.h #define INTSTKTOP	(INTSTK + INTSTKSZ)