Searched refs:DMAR_IOTLB_DID (Results 1 – 2 of 2) sorted by relevance
268 #define DMAR_IOTLB_DID(x) (((uint64_t)(x) & 0xffff) << 32) /* Domain Id */ macro
786 DMAR_IOTLB_DID(domain->domain), iro); in domain_flush_iotlb_sync()797 DMAR_IOTLB_DID(domain->domain), iro); in domain_flush_iotlb_sync()