static void platform_ioport_map(PCIDevice *pci_dev, int region_num, pcibus_t addr, pcibus_t size, int type)

{

    PCIXenPlatformState *d = DO_UPCAST(PCIXenPlatformState, pci_dev, pci_dev);



    register_ioport_write(addr, size, 1, xen_platform_ioport_writeb, d);

    register_ioport_read(addr, size, 1, xen_platform_ioport_readb, d);

}

static void platform_ioport_map(PCIDevice *pci_dev, int region_num, pcibus_t addr, pcibus_t size, int type)

{

    PCIXenPlatformState *d = DO_UPCAST(PCIXenPlatformState, pci_dev, pci_dev);



    register_ioport_write(addr, size, 1, xen_platform_ioport_writeb, d);

    register_ioport_read(addr, size, 1, xen_platform_ioport_readb, d);

}

static void FUNC_0(PCIDevice *VAR_0, int VAR_1, pcibus_t VAR_2, pcibus_t VAR_3, int VAR_4)

{

    PCIXenPlatformState *d = DO_UPCAST(PCIXenPlatformState, VAR_0, VAR_0);



    register_ioport_write(VAR_2, VAR_3, 1, xen_platform_ioport_writeb, d);

    register_ioport_read(VAR_2, VAR_3, 1, xen_platform_ioport_readb, d);

}

static void FUNC_0(PCIDevice *VAR_0, int VAR_1, pcibus_t VAR_2, pcibus_t VAR_3, int VAR_4)
{ PCIXenPlatformState *d = DO_UPCAST(PCIXenPlatformState, VAR_0, VAR_0); register_ioport_write(VAR_2, VAR_3, 1, xen_platform_ioport_writeb, d); register_ioport_read(VAR_2, VAR_3, 1, xen_platform_ioport_readb, d); }