taglinefilesource code
wrkgp408arch/alpha/kernel/traps.cwrkgp(gptr);
wrkgp47include/asm-alpha/system.hextern void wrkgp(unsigned long);