INTSTKSZ           88 include/arm/syspage.h #define INTSTKSZ	0x1000
INTSTKSZ           77 include/ppc/syspage.h #define INTSTKSZ	0x1000		/* size of interrupt stack */
INTSTKSZ           74 include/x86/syspage.h #define INTSTKSZ	0x1000		/* size of interrupt stack */