static void xen_io_add(MemoryListener *listener,

                       MemoryRegionSection *section)

{

    XenIOState *state = container_of(listener, XenIOState, io_listener);



    memory_region_ref(section->mr);



    xen_map_io_section(xen_xc, xen_domid, state->ioservid, section);

}

static void xen_io_add(MemoryListener *listener,

                       MemoryRegionSection *section)

{

    XenIOState *state = container_of(listener, XenIOState, io_listener);



    memory_region_ref(section->mr);



    xen_map_io_section(xen_xc, xen_domid, state->ioservid, section);

}

static void FUNC_0(MemoryListener *VAR_0,

                       MemoryRegionSection *VAR_1)

{

    XenIOState *state = container_of(VAR_0, XenIOState, io_listener);



    memory_region_ref(VAR_1->mr);



    xen_map_io_section(xen_xc, xen_domid, state->ioservid, VAR_1);

}

static void FUNC_0(MemoryListener *VAR_0,
MemoryRegionSection *VAR_1)
{ XenIOState *state = container_of(VAR_0, XenIOState, io_listener); memory_region_ref(VAR_1->mr); xen_map_io_section(xen_xc, xen_domid, state->ioservid, VAR_1); }