void sysbus_dev_print(Monitor *mon, DeviceState *dev, int indent)

{

    SysBusDevice *s = sysbus_from_qdev(dev);

    int i;



    for (i = 0; i < s->num_mmio; i++) {

        monitor_printf(mon, "%*smmio " TARGET_FMT_plx "/" TARGET_FMT_plx "\n",

                       indent, "", s->mmio[i].addr, s->mmio[i].size);

    }

}

void sysbus_dev_print(Monitor *mon, DeviceState *dev, int indent)

{

    SysBusDevice *s = sysbus_from_qdev(dev);

    int i;



    for (i = 0; i < s->num_mmio; i++) {

        monitor_printf(mon, "%*smmio " TARGET_FMT_plx "/" TARGET_FMT_plx "\n",

                       indent, "", s->mmio[i].addr, s->mmio[i].size);

    }

}

void FUNC_0(Monitor *VAR_0, DeviceState *VAR_1, int VAR_2)

{

    SysBusDevice *s = sysbus_from_qdev(VAR_1);

    int VAR_3;



    for (VAR_3 = 0; VAR_3 < s->num_mmio; VAR_3++) {

        monitor_printf(VAR_0, "%*smmio " TARGET_FMT_plx "/" TARGET_FMT_plx "\n",

                       VAR_2, "", s->mmio[VAR_3].addr, s->mmio[VAR_3].size);

    }

}

void FUNC_0(Monitor *VAR_0, DeviceState *VAR_1, int VAR_2)
{ SysBusDevice *s = sysbus_from_qdev(VAR_1); int VAR_3; for (VAR_3 = 0; VAR_3 < s->num_mmio; VAR_3++) { monitor_printf(VAR_0, "%*smmio " TARGET_FMT_plx "/" TARGET_FMT_plx "\n",
VAR_2, "", s->mmio[VAR_3].addr, s->mmio[VAR_3].size); } }