__CALL_PAL_W1      80 arch/alpha/include/asm/pal.h __CALL_PAL_W1(cflush, unsigned long);
__CALL_PAL_W1      87 arch/alpha/include/asm/pal.h __CALL_PAL_W1(wripir, unsigned long);
__CALL_PAL_W1      88 arch/alpha/include/asm/pal.h __CALL_PAL_W1(wrkgp, unsigned long);
__CALL_PAL_W1      89 arch/alpha/include/asm/pal.h __CALL_PAL_W1(wrmces, unsigned long);
__CALL_PAL_W1      91 arch/alpha/include/asm/pal.h __CALL_PAL_W1(wrusp, unsigned long);
__CALL_PAL_W1      92 arch/alpha/include/asm/pal.h __CALL_PAL_W1(wrvptptr, unsigned long);