IOTLB_DSI
case IOTLB_DSI:
iotlb_flush(immu, did, 0, 0, 0, IOTLB_DSI);
iotlb_flush(immu, domain_id, 0, 0, 0, IOTLB_DSI);