iommu_cleanup_int
iommu_cleanup_int(false);
iommu_cleanup_int(true);
static void iommu_cleanup_int(bool iommu_disable);