__switch_to_xtra    7 arch/x86/kernel/process.h void __switch_to_xtra(struct task_struct *prev_p, struct task_struct *next_p);
__switch_to_xtra   38 arch/x86/kernel/process.h 		__switch_to_xtra(prev, next);