task_top_of_stack
load_sp0(task_top_of_stack(task));
raw_cpu_write(cpu_current_top_of_stack, task_top_of_stack(next_p));
per_cpu(cpu_current_top_of_stack, cpu) = task_top_of_stack(idle);
ctxt->kernel_sp = task_top_of_stack(idle);