iommu_invalidate_tlb
int iommu_invalidate_tlb(void *domain);
error = iommu_invalidate_tlb(iommu_host_domain());
error = iommu_invalidate_tlb(vm->iommu);