static void cirrus_mmio_write(void *opaque, target_phys_addr_t addr,

                              uint64_t val, unsigned size)

{

    CirrusVGAState *s = opaque;



    if (addr >= 0x100) {

	cirrus_mmio_blt_write(s, addr - 0x100, val);

    } else {

        cirrus_vga_ioport_write(s, addr + 0x3c0, val);

    }

}

static void cirrus_mmio_write(void *opaque, target_phys_addr_t addr,

                              uint64_t val, unsigned size)

{

    CirrusVGAState *s = opaque;



    if (addr >= 0x100) {

	cirrus_mmio_blt_write(s, addr - 0x100, val);

    } else {

        cirrus_vga_ioport_write(s, addr + 0x3c0, val);

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                              uint64_t VAR_2, unsigned VAR_3)

{

    CirrusVGAState *s = VAR_0;



    if (VAR_1 >= 0x100) {

	cirrus_mmio_blt_write(s, VAR_1 - 0x100, VAR_2);

    } else {

        cirrus_vga_ioport_write(s, VAR_1 + 0x3c0, VAR_2);

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ CirrusVGAState *s = VAR_0; if (VAR_1 >= 0x100) { cirrus_mmio_blt_write(s, VAR_1 - 0x100, VAR_2); } else { cirrus_vga_ioport_write(s, VAR_1 + 0x3c0, VAR_2); } }