void memory_region_init_iommu(MemoryRegion *mr,

                              Object *owner,

                              const MemoryRegionIOMMUOps *ops,

                              const char *name,

                              uint64_t size)

{

    memory_region_init(mr, owner, name, size);

    mr->iommu_ops = ops,

    mr->terminates = true;  /* then re-forwards */

    notifier_list_init(&mr->iommu_notify);

}

void memory_region_init_iommu(MemoryRegion *mr,

                              Object *owner,

                              const MemoryRegionIOMMUOps *ops,

                              const char *name,

                              uint64_t size)

{

    memory_region_init(mr, owner, name, size);

    mr->iommu_ops = ops,

    mr->terminates = true;  

    notifier_list_init(&mr->iommu_notify);

}

void FUNC_0(MemoryRegion *VAR_0,

                              Object *VAR_1,

                              const MemoryRegionIOMMUOps *VAR_2,

                              const char *VAR_3,

                              uint64_t VAR_4)

{

    memory_region_init(VAR_0, VAR_1, VAR_3, VAR_4);

    VAR_0->iommu_ops = VAR_2,

    VAR_0->terminates = true;  

    notifier_list_init(&VAR_0->iommu_notify);

}

void FUNC_0(MemoryRegion *VAR_0,
Object *VAR_1,
const MemoryRegionIOMMUOps *VAR_2,
const char *VAR_3,
uint64_t VAR_4)
{ memory_region_init(VAR_0, VAR_1, VAR_3, VAR_4); VAR_0->iommu_ops = VAR_2,
VAR_0->terminates = true; notifier_list_init(&VAR_0->iommu_notify); }