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)