task_top_of_stack  104 arch/x86/include/asm/switch_to.h 		load_sp0(task_top_of_stack(task));
task_top_of_stack  566 arch/x86/kernel/process_64.c 	this_cpu_write(cpu_current_top_of_stack, task_top_of_stack(next_p));
task_top_of_stack 1018 arch/x86/kernel/smpboot.c 	per_cpu(cpu_current_top_of_stack, cpu) = task_top_of_stack(idle);
task_top_of_stack  341 arch/x86/xen/smp_pv.c 	ctxt->kernel_sp = task_top_of_stack(idle);