Searched refs:VMX_VPID_EXTENT_SINGLE_CONTEXT (Results 1 – 3 of 3) sorted by relevance
275 __invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0); in vpid_sync_vcpu_single()
5023 case VMX_VPID_EXTENT_SINGLE_CONTEXT: in handle_invvpid()
453 #define VMX_VPID_EXTENT_SINGLE_CONTEXT 1 macro
