static void vtd_iommu_notify_flag_changed(MemoryRegion *iommu,

                                          IOMMUNotifierFlag old,

                                          IOMMUNotifierFlag new)

{

    VTDAddressSpace *vtd_as = container_of(iommu, VTDAddressSpace, iommu);



    if (new & IOMMU_NOTIFIER_MAP) {

        error_report("Device at bus %s addr %02x.%d requires iommu "

                     "notifier which is currently not supported by "

                     "intel-iommu emulation",

                     vtd_as->bus->qbus.name, PCI_SLOT(vtd_as->devfn),

                     PCI_FUNC(vtd_as->devfn));

        exit(1);

    }

}

static void vtd_iommu_notify_flag_changed(MemoryRegion *iommu,

                                          IOMMUNotifierFlag old,

                                          IOMMUNotifierFlag new)

{

    VTDAddressSpace *vtd_as = container_of(iommu, VTDAddressSpace, iommu);



    if (new & IOMMU_NOTIFIER_MAP) {

        error_report("Device at bus %s addr %02x.%d requires iommu "

                     "notifier which is currently not supported by "

                     "intel-iommu emulation",

                     vtd_as->bus->qbus.name, PCI_SLOT(vtd_as->devfn),

                     PCI_FUNC(vtd_as->devfn));

        exit(1);

    }

}

static void FUNC_0(MemoryRegion *VAR_0,

                                          IOMMUNotifierFlag VAR_1,

                                          IOMMUNotifierFlag VAR_2)

{

    VTDAddressSpace *vtd_as = container_of(VAR_0, VTDAddressSpace, VAR_0);



    if (VAR_2 & IOMMU_NOTIFIER_MAP) {

        error_report("Device at bus %s addr %02x.%d requires VAR_0 "

                     "notifier which is currently not supported by "

                     "intel-VAR_0 emulation",

                     vtd_as->bus->qbus.name, PCI_SLOT(vtd_as->devfn),

                     PCI_FUNC(vtd_as->devfn));

        exit(1);

    }

}

static void FUNC_0(MemoryRegion *VAR_0,
IOMMUNotifierFlag VAR_1,
IOMMUNotifierFlag VAR_2)
{ VTDAddressSpace *vtd_as = container_of(VAR_0, VTDAddressSpace, VAR_0); if (VAR_2 & IOMMU_NOTIFIER_MAP) { error_report("Device at bus %s addr %02x.%d requires VAR_0 "
"notifier which is currently not supported by "
"intel-VAR_0 emulation",
vtd_as->bus->qbus.name, PCI_SLOT(vtd_as->devfn),
PCI_FUNC(vtd_as->devfn)); exit(1); } }