Searched refs:MSR_IA32_VMX_EPT_VPID_CAP (Results 1 – 4 of 4) sorted by relevance
20 MSR_IA32_VMX_EPT_VPID_CAP = 0x48C variable299 msr = MSR_IA32_VMX_EPT_VPID_CAP,
574 #define MSR_IA32_VMX_EPT_VPID_CAP 0x0000048c macro
1501 .index = MSR_IA32_VMX_EPT_VPID_CAP,
3625 MSR_IA32_VMX_EPT_VPID_CAP); in kvm_msr_entry_add_vmx()3678 kvm_msr_entry_add(cpu, MSR_IA32_VMX_EPT_VPID_CAP, in kvm_msr_entry_add_vmx()