Searched refs:MSR_IA32_VMX_VMCS_ENUM (Results 1 – 3 of 3) sorted by relevance
39 MSR_IA32_VMX_VMCS_ENUM, \
192 msr_value = msr_read(MSR_IA32_VMX_VMCS_ENUM); in init_vmx_msrs()193 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_VMCS_ENUM, msr_value); in init_vmx_msrs()223 case MSR_IA32_VMX_VMCS_ENUM: in read_vmx_msr()
250 #define MSR_IA32_VMX_VMCS_ENUM 0x0000048AU macro
Completed in 12 milliseconds