Symbol: IDX_MSR_KGSBASE
sys/amd64/vmm/intel/vmx.c
3424
*retval = vcpu->guest_msrs[IDX_MSR_KGSBASE];
sys/amd64/vmm/intel/vmx_msr.c
351
wrmsr(MSR_KGSBASE, vcpu->guest_msrs[IDX_MSR_KGSBASE]);
sys/amd64/vmm/intel/vmx_msr.c
373
vcpu->guest_msrs[IDX_MSR_KGSBASE] = rdmsr(MSR_KGSBASE);