IA32_MSR_KERNEL_GS_BASE
x86_write_msr(IA32_MSR_KERNEL_GS_BASE, thread->arch_info.user_gs_base);
x86_write_msr(IA32_MSR_KERNEL_GS_BASE, base);