Searched refs:MSR_IA32_VMX_EPT_VPID_CAP (Results 1 – 4 of 4) sorted by relevance
20 MSR_IA32_VMX_EPT_VPID_CAP = 0x48C variable286 msr = MSR_IA32_VMX_EPT_VPID_CAP,
545 #define MSR_IA32_VMX_EPT_VPID_CAP 0x0000048c macro
1485 .index = MSR_IA32_VMX_EPT_VPID_CAP,
3170 MSR_IA32_VMX_EPT_VPID_CAP); in kvm_msr_entry_add_vmx()3223 kvm_msr_entry_add(cpu, MSR_IA32_VMX_EPT_VPID_CAP, in kvm_msr_entry_add_vmx()