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