Searched refs:VMX_VPID_EXTENT_INDIVIDUAL_ADDR (Results 1 – 3 of 3) sorted by relevance
262 __invvpid(VMX_VPID_EXTENT_INDIVIDUAL_ADDR, vpid, addr); in vpid_sync_vcpu_addr()
5022 case VMX_VPID_EXTENT_INDIVIDUAL_ADDR: in handle_invvpid()5028 __invvpid(VMX_VPID_EXTENT_INDIVIDUAL_ADDR, in handle_invvpid()
452 #define VMX_VPID_EXTENT_INDIVIDUAL_ADDR 0 macro