__switch_to_xtra  452 arch/x86/kernel/process_32.c __switch_to_xtra(struct task_struct *prev_p, struct task_struct *next_p,
__switch_to_xtra  461 arch/x86/kernel/process_64.c static inline void __switch_to_xtra(struct task_struct *prev_p,