static void aux_bus_map_device(AUXBus *bus, AUXSlave *dev, hwaddr addr)

{

    memory_region_add_subregion(bus->aux_io, addr, dev->mmio);

}

static void aux_bus_map_device(AUXBus *bus, AUXSlave *dev, hwaddr addr)

{

    memory_region_add_subregion(bus->aux_io, addr, dev->mmio);

}

static void FUNC_0(AUXBus *VAR_0, AUXSlave *VAR_1, hwaddr VAR_2)

{

    memory_region_add_subregion(VAR_0->aux_io, VAR_2, VAR_1->mmio);

}

static void FUNC_0(AUXBus *VAR_0, AUXSlave *VAR_1, hwaddr VAR_2)
{ memory_region_add_subregion(VAR_0->aux_io, VAR_2, VAR_1->mmio); }