Symbol: IDX_MSR_KGSBASE
usr/src/uts/intel/io/vmm/intel/vmx.c
3278
return (&guest_msrs[IDX_MSR_KGSBASE]);
usr/src/uts/intel/io/vmm/intel/vmx_msr.c
409
wrmsr(MSR_KGSBASE, guest_msrs[IDX_MSR_KGSBASE]);
usr/src/uts/intel/io/vmm/intel/vmx_msr.c
423
guest_msrs[IDX_MSR_KGSBASE] = rdmsr(MSR_KGSBASE);