Home
last modified time | relevance | path

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

/hypervisor/arch/x86/guest/
A Dnested.c1587 uint32_t supported_types = (vcpu_get_guest_msr(vcpu, MSR_IA32_VMX_EPT_VPID_CAP) >> 40U) & 0xfU; in invvpid_vmexit_handler() local
1594 if ((type > VMX_VPID_TYPE_SINGLE_NON_GLOBAL) || ((supported_types & (1U << type)) == 0)) { in invvpid_vmexit_handler()

Completed in 4 milliseconds