MSR_GSBASE
wrmsr(MSR_GSBASE, (u_int64_t)pc);
db_printf("GSBASE\t0x%016lx\n", rdmsr(MSR_GSBASE));
wrmsr(MSR_GSBASE, (uint64_t)pc);
wrmsr(MSR_GSBASE, (uint64_t)&__pcpu[0]);
wrmsr(MSR_GSBASE, (uint64_t)&__pcpu[0]);
rdmsr(MSR_FSBASE), rdmsr(MSR_GSBASE), rdmsr(MSR_KGSBASE));
#ifndef MSR_GSBASE
: : "rm" (sel), "c" (MSR_GSBASE) : "eax", "edx");
svm_msr_rw_ok(svm_sc->msr_bitmap, MSR_GSBASE);
ASSYM(MSR_GSBASE, MSR_GSBASE);
if (guest_msr_rw(vmx, MSR_GSBASE) ||
case MSR_GSBASE: