tag	line	file	source code
wrkgp	408	arch/alpha/kernel/traps.c	wrkgp(gptr);
wrkgp	47	include/asm-alpha/system.h	extern void wrkgp(unsigned long);