Symbol: DMAR_IOTLB_DID
sys/x86/iommu/intel_idpgtbl.c
775
DMAR_IOTLB_DID(domain->domain), iro);
sys/x86/iommu/intel_idpgtbl.c
786
DMAR_IOTLB_DID(domain->domain), iro);