wtint              93 arch/alpha/include/asm/pal.h __CALL_PAL_RW1(wtint, unsigned long, unsigned long);
wtint              60 arch/alpha/kernel/process.c 	wtint(0);
wtint              66 arch/alpha/kernel/process.c 	wtint(INT_MAX);