static void xen_platform_ioport_writeb(void *opaque, uint32_t addr, uint32_t val)

{

    PCIXenPlatformState *s = opaque;



    addr &= 0xff;

    val  &= 0xff;



    switch (addr) {

    case 0: /* Platform flags */

        platform_fixed_ioport_writeb(opaque, XEN_PLATFORM_IOPORT, val);

        break;

    case 8:

        log_writeb(s, val);

        break;

    default:

        break;

    }

}

static void xen_platform_ioport_writeb(void *opaque, uint32_t addr, uint32_t val)

{

    PCIXenPlatformState *s = opaque;



    addr &= 0xff;

    val  &= 0xff;



    switch (addr) {

    case 0: 

        platform_fixed_ioport_writeb(opaque, XEN_PLATFORM_IOPORT, val);

        break;

    case 8:

        log_writeb(s, val);

        break;

    default:

        break;

    }

}

static void FUNC_0(void *VAR_0, uint32_t VAR_1, uint32_t VAR_2)

{

    PCIXenPlatformState *s = VAR_0;



    VAR_1 &= 0xff;

    VAR_2  &= 0xff;



    switch (VAR_1) {

    case 0: 

        platform_fixed_ioport_writeb(VAR_0, XEN_PLATFORM_IOPORT, VAR_2);

        break;

    case 8:

        log_writeb(s, VAR_2);

        break;

    default:

        break;

    }

}

static void FUNC_0(void *VAR_0, uint32_t VAR_1, uint32_t VAR_2)
{ PCIXenPlatformState *s = VAR_0; VAR_1 &= 0xff; VAR_2  &= 0xff; switch (VAR_1) { case 0:
platform_fixed_ioport_writeb(VAR_0, XEN_PLATFORM_IOPORT, VAR_2); break; case 8:
log_writeb(s, VAR_2); break; default:
break; } }