static void xen_io_del(MemoryListener *listener,

                       MemoryRegionSection *section)

{

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



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



    memory_region_unref(section->mr);

}

static void xen_io_del(MemoryListener *listener,

                       MemoryRegionSection *section)

{

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



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



    memory_region_unref(section->mr);

}

static void FUNC_0(MemoryListener *VAR_0,

                       MemoryRegionSection *VAR_1)

{

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



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



    memory_region_unref(VAR_1->mr);

}

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