Searched refs:IDX_MSR_KGSBASE (Results 1 – 3 of 3) sorted by relevance
397 wrmsr(MSR_KGSBASE, guest_msrs[IDX_MSR_KGSBASE]); in vmx_msr_guest_enter()411 guest_msrs[IDX_MSR_KGSBASE] = rdmsr(MSR_KGSBASE); in vmx_msr_guest_exit()
115 IDX_MSR_KGSBASE, enumerator
3285 return (&guest_msrs[IDX_MSR_KGSBASE]); in vmx_msr_ptr()