x86_set_syscall_stack
x86_set_syscall_stack(thread->kernel_stack_top);
x86_set_syscall_stack(to->kernel_stack_top);