Searched refs:VMX_VPID_EXTENT_SUPPORTED_MASK (Results 1 – 1 of 1) sorted by relevance
155 #define VMX_VPID_EXTENT_SUPPORTED_MASK \ macro3651 VMX_VPID_EXTENT_SUPPORTED_MASK; in nested_vmx_setup_ctls_msrs()9036 VMX_VPID_EXTENT_SUPPORTED_MASK) >> 8; in handle_invvpid()
