Searched refs:VMX_VPID_EXTENT_SINGLE_CONTEXT (Results 1 – 2 of 2) sorted by relevance
378 #define VMX_VPID_EXTENT_SINGLE_CONTEXT 1 macro
528 __invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vmx->vpid, 0); in vpid_sync_vcpu_single()