static void bonito_cop_writel(void *opaque, target_phys_addr_t addr,

                              uint64_t val, unsigned size)

{

    PCIBonitoState *s = opaque;



    ((uint32_t *)(&s->boncop))[addr/sizeof(uint32_t)] = val & 0xffffffff;

}

static void bonito_cop_writel(void *opaque, target_phys_addr_t addr,

                              uint64_t val, unsigned size)

{

    PCIBonitoState *s = opaque;



    ((uint32_t *)(&s->boncop))[addr/sizeof(uint32_t)] = val & 0xffffffff;

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                              uint64_t VAR_2, unsigned VAR_3)

{

    PCIBonitoState *s = VAR_0;



    ((uint32_t *)(&s->boncop))[VAR_1/sizeof(uint32_t)] = VAR_2 & 0xffffffff;

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ PCIBonitoState *s = VAR_0; ((uint32_t *)(&s->boncop))[VAR_1/sizeof(uint32_t)] = VAR_2 & 0xffffffff; }