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