static uint32_t xen_platform_ioport_readb(void *opaque, uint32_t addr)

{

    addr &= 0xff;



    if (addr == 0) {

        return platform_fixed_ioport_readb(opaque, XEN_PLATFORM_IOPORT);

    } else {

        return ~0u;

    }

}

static uint32_t xen_platform_ioport_readb(void *opaque, uint32_t addr)

{

    addr &= 0xff;



    if (addr == 0) {

        return platform_fixed_ioport_readb(opaque, XEN_PLATFORM_IOPORT);

    } else {

        return ~0u;

    }

}

static uint32_t FUNC_0(void *opaque, uint32_t addr)

{

    addr &= 0xff;



    if (addr == 0) {

        return platform_fixed_ioport_readb(opaque, XEN_PLATFORM_IOPORT);

    } else {

        return ~0u;

    }

}

static uint32_t FUNC_0(void *opaque, uint32_t addr)
{ addr &= 0xff; if (addr == 0) { return platform_fixed_ioport_readb(opaque, XEN_PLATFORM_IOPORT); } else { return ~0u; } }