MSR_FSBASE
#ifndef MSR_FSBASE
: : "rm" (sel), "c" (MSR_FSBASE) : "eax", "edx");
MSR_IDENT_MAP(MSR_FSBASE)
svm_msr_rw_ok(svm_sc->msr_bitmap, MSR_FSBASE);
case MSR_FSBASE:
case MSR_FSBASE:
guest_msr_rw(vmx, vcpuid, MSR_FSBASE);
return (rdmsr(MSR_FSBASE));