ept_cap_vmsr (reference) in projects: hypervisor

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

/hypervisor/arch/x86/guest/
A D	vept.c	`496 uint64_t type, ept_cap_vmsr; in invept_vmexit_handler() local 499 ept_cap_vmsr = vcpu_get_guest_msr(vcpu, MSR_IA32_VMX_EPT_VPID_CAP); in invept_vmexit_handler() 503 } else if (type == 1 && (ept_cap_vmsr & VMX_EPT_INVEPT_SINGLE_CONTEXT) != 0UL) { in invept_vmexit_handler() 521 } else if ((type == 2) && (ept_cap_vmsr & VMX_EPT_INVEPT_GLOBAL_CONTEXT) != 0UL) { in invept_vmexit_handler()`

Completed in 3 milliseconds