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);