static void omap_mpui_io_write(void *opaque, target_phys_addr_t addr,

                               uint64_t value, unsigned size)

{

    /* FIXME: infinite loop */

    omap_badwidth_write16(opaque, addr, value);

}

static void omap_mpui_io_write(void *opaque, target_phys_addr_t addr,

                               uint64_t value, unsigned size)

{

    

    omap_badwidth_write16(opaque, addr, value);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                               uint64_t VAR_2, unsigned VAR_3)

{

    

    omap_badwidth_write16(VAR_0, VAR_1, VAR_2);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ omap_badwidth_write16(VAR_0, VAR_1, VAR_2); }