__switch_to_xtra  603 arch/x86/kernel/process_32.c 		__switch_to_xtra(prev_p, next_p, tss);
__switch_to_xtra  656 arch/x86/kernel/process_64.c 		__switch_to_xtra(prev_p, next_p, tss);