MSR_IA32_VMX_EPT_VPID_CAP (reference) in projects: hypervisor

Searched refs:MSR_IA32_VMX_EPT_VPID_CAP (Results 1 – 5 of 5) sorted by relevance

/hypervisor/arch/x86/guest/
A D	nested.c	`171 msr_value = msr_read(MSR_IA32_VMX_EPT_VPID_CAP); in init_vmx_msrs() 177 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_EPT_VPID_CAP, msr_value); in init_vmx_msrs() 218 case MSR_IA32_VMX_EPT_VPID_CAP: in read_vmx_msr() 1587 uint32_t supported_types = (vcpu_get_guest_msr(vcpu, MSR_IA32_VMX_EPT_VPID_CAP) >> 40U) & 0xfU; in invvpid_vmexit_handler()`
A D	vept.c	`499 ept_cap_vmsr = vcpu_get_guest_msr(vcpu, MSR_IA32_VMX_EPT_VPID_CAP); in invept_vmexit_handler()`
/hypervisor/include/arch/x86/asm/guest/
A D	nested.h	`41 MSR_IA32_VMX_EPT_VPID_CAP, \`
/hypervisor/include/arch/x86/asm/
A D	msr.h	`252 #define MSR_IA32_VMX_EPT_VPID_CAP 0x0000048CU macro`
/hypervisor/arch/x86/
A D	cpu_caps.c	`279 cpu_caps.vmx_ept_vpid = msr_read(MSR_IA32_VMX_EPT_VPID_CAP); in detect_vmx_mmu_cap()`

Completed in 16 milliseconds