Searched refs:VMX_VPID_EXTENT_SUPPORTED_MASK (Results 1 – 1 of 1) sorted by relevance
36 #define VMX_VPID_EXTENT_SUPPORTED_MASK \ macro5472 VMX_VPID_EXTENT_SUPPORTED_MASK) >> 8; in handle_invvpid()6564 VMX_VPID_EXTENT_SUPPORTED_MASK; in nested_vmx_setup_ctls_msrs()