static void bw_io_write(void *opaque, target_phys_addr_t addr,

                        uint64_t val, unsigned size)

{

    switch (size) {

    case 1:

        cpu_outb(addr, val);

        break;

    case 2:

        cpu_outw(addr, val);

        break;

    case 4:

        cpu_outl(addr, val);

        break;

    default:

        abort();

    }

}

static void bw_io_write(void *opaque, target_phys_addr_t addr,

                        uint64_t val, unsigned size)

{

    switch (size) {

    case 1:

        cpu_outb(addr, val);

        break;

    case 2:

        cpu_outw(addr, val);

        break;

    case 4:

        cpu_outl(addr, val);

        break;

    default:

        abort();

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                        uint64_t VAR_2, unsigned VAR_3)

{

    switch (VAR_3) {

    case 1:

        cpu_outb(VAR_1, VAR_2);

        break;

    case 2:

        cpu_outw(VAR_1, VAR_2);

        break;

    case 4:

        cpu_outl(VAR_1, VAR_2);

        break;

    default:

        abort();

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ switch (VAR_3) { case 1:
cpu_outb(VAR_1, VAR_2); break; case 2:
cpu_outw(VAR_1, VAR_2); break; case 4:
cpu_outl(VAR_1, VAR_2); break; default:
abort(); } }