MSR_GSBASE
#ifndef MSR_GSBASE
: : "rm" (sel), "c" (MSR_GSBASE) : "eax", "edx");
svm_vcpu_msr_allow(cpudata->msrbm, MSR_GSBASE, true, true);
vmx_vmwrite(VMCS_HOST_GS_BASE, rdmsr(MSR_GSBASE));
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_GSBASE, true, true);
ASSYM(MSR_GSBASE, MSR_GSBASE);
wrmsr(MSR_GSBASE, (u_int64_t)&gd->mi);
wrmsr(MSR_GSBASE, (u_int64_t)ps);