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