static void spapr_io_write(void *opaque, hwaddr addr,

                           uint64_t data, unsigned size)

{

    switch (size) {

    case 1:

        cpu_outb(addr, data);

        return;

    case 2:

        cpu_outw(addr, data);

        return;

    case 4:

        cpu_outl(addr, data);

        return;

    }

    assert(0);

}

static void spapr_io_write(void *opaque, hwaddr addr,

                           uint64_t data, unsigned size)

{

    switch (size) {

    case 1:

        cpu_outb(addr, data);

        return;

    case 2:

        cpu_outw(addr, data);

        return;

    case 4:

        cpu_outl(addr, data);

        return;

    }

    assert(0);

}

static void FUNC_0(void *VAR_0, hwaddr VAR_1,

                           uint64_t VAR_2, unsigned VAR_3)

{

    switch (VAR_3) {

    case 1:

        cpu_outb(VAR_1, VAR_2);

        return;

    case 2:

        cpu_outw(VAR_1, VAR_2);

        return;

    case 4:

        cpu_outl(VAR_1, VAR_2);

        return;

    }

    assert(0);

}

static void FUNC_0(void *VAR_0, hwaddr VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ switch (VAR_3) { case 1:
cpu_outb(VAR_1, VAR_2); return; case 2:
cpu_outw(VAR_1, VAR_2); return; case 4:
cpu_outl(VAR_1, VAR_2); return; } assert(0); }