static void bonito_pciconf_writel(void *opaque, target_phys_addr_t addr,

                                  uint64_t val, unsigned size)

{

    PCIBonitoState *s = opaque;

    PCIDevice *d = PCI_DEVICE(s);



    DPRINTF("bonito_pciconf_writel "TARGET_FMT_plx" val %x\n", addr, val);

    d->config_write(d, addr, val, 4);

}

static void bonito_pciconf_writel(void *opaque, target_phys_addr_t addr,

                                  uint64_t val, unsigned size)

{

    PCIBonitoState *s = opaque;

    PCIDevice *d = PCI_DEVICE(s);



    DPRINTF("bonito_pciconf_writel "TARGET_FMT_plx" val %x\n", addr, val);

    d->config_write(d, addr, val, 4);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                                  uint64_t VAR_2, unsigned VAR_3)

{

    PCIBonitoState *s = VAR_0;

    PCIDevice *d = PCI_DEVICE(s);



    DPRINTF("FUNC_0 "TARGET_FMT_plx" VAR_2 %x\n", VAR_1, VAR_2);

    d->config_write(d, VAR_1, VAR_2, 4);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ PCIBonitoState *s = VAR_0; PCIDevice *d = PCI_DEVICE(s); DPRINTF("FUNC_0 "TARGET_FMT_plx" VAR_2 %x\n", VAR_1, VAR_2); d->config_write(d, VAR_1, VAR_2, 4); }