MSR_FSBASE
wrmsr(MSR_FSBASE, 0); /* User value */
wrmsr(MSR_FSBASE, 0); /* User value */
rdmsr(MSR_FSBASE), rdmsr(MSR_GSBASE), rdmsr(MSR_KGSBASE));
#ifndef MSR_FSBASE
: : "rm" (sel), "c" (MSR_FSBASE) : "eax", "edx");
wrmsr(MSR_FSBASE, 0);
svm_msr_rw_ok(svm_sc->msr_bitmap, MSR_FSBASE);
guest_msr_rw(vmx, MSR_FSBASE) ||
case MSR_FSBASE: