MSR_FSBASE
#ifndef MSR_FSBASE
: : "rm" (sel), "c" (MSR_FSBASE) : "eax", "edx");
cpudata->hstate.fsbase = rdmsr(MSR_FSBASE);
wrmsr(MSR_FSBASE, cpudata->hstate.fsbase);
svm_vcpu_msr_allow(cpudata->msrbm, MSR_FSBASE, true, true);
vmx_vmwrite(VMCS_HOST_FS_BASE, rdmsr(MSR_FSBASE));
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_FSBASE, true, true);
ASSYM(MSR_FSBASE, MSR_FSBASE);
wrmsr(MSR_FSBASE, 0); /* Set MSR values for return to userland */
wrmsr(MSR_FSBASE, 0); /* User value */
wrmsr(MSR_FSBASE, 0); /* User value */
wrmsr(MSR_FSBASE, gd->gd_user_fs);