INTSTK             75 include/arm/syspage.h #define INTSTK		(SYSPAGE + 0x1000)
INTSTK             68 include/ppc/syspage.h #define INTSTK		(SYSPAGE + 0x3000)
INTSTK             65 include/x86/syspage.h #define INTSTK		(SYSPAGE + 0x1000)