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