tag	line	file	source code
alpha_switch_to	55	include/asm-alpha/system.h	extern void alpha_switch_to(unsigned long pctxp);
alpha_switch_to	59	include/asm-alpha/system.h	alpha_switch_to((unsigned long) &(p)->tss - 0xfffffc0000000000); \