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