CACHE_TAG_IOTLB
ret = cache_tag_assign(domain, did, dev, pasid, CACHE_TAG_IOTLB);
cache_tag_unassign(domain, did, dev, pasid, CACHE_TAG_IOTLB);
cache_tag_unassign(domain, did, dev, pasid, CACHE_TAG_IOTLB);
if (type == CACHE_TAG_IOTLB || type == CACHE_TAG_NESTING_IOTLB)
case CACHE_TAG_IOTLB:
if (tag->type == CACHE_TAG_IOTLB ||
{ CACHE_TAG_IOTLB, "iotlb" },
{ CACHE_TAG_IOTLB, "iotlb" },