drivers/iommu/intel/cache.c

149

ret = cache_tag_assign(domain, did, dev, pasid, CACHE_TAG_DEVTLB);

drivers/iommu/intel/cache.c

164

cache_tag_unassign(domain, did, dev, pasid, CACHE_TAG_DEVTLB);

drivers/iommu/intel/cache.c

36

if (type == CACHE_TAG_DEVTLB || type == CACHE_TAG_NESTING_DEVTLB)

drivers/iommu/intel/cache.c

474

case CACHE_TAG_DEVTLB:

drivers/iommu/intel/cache.c

62

if (type == CACHE_TAG_DEVTLB || type == CACHE_TAG_NESTING_DEVTLB)

drivers/iommu/intel/iommu.c

3345

IOMMU_NO_PASID, CACHE_TAG_DEVTLB))

drivers/iommu/intel/trace.h

116

{ CACHE_TAG_DEVTLB, "devtlb" },

drivers/iommu/intel/trace.h

165

{ CACHE_TAG_DEVTLB, "devtlb" },