static void slow_bar_writel(void *opaque, target_phys_addr_t addr, uint32_t val)

{

    AssignedDevRegion *d = opaque;

    uint32_t *out = (uint32_t *)(d->u.r_virtbase + addr);



    DEBUG("slow_bar_writel addr=0x" TARGET_FMT_plx " val=0x%08x\n", addr, val);

    *out = val;

}

static void slow_bar_writel(void *opaque, target_phys_addr_t addr, uint32_t val)

{

    AssignedDevRegion *d = opaque;

    uint32_t *out = (uint32_t *)(d->u.r_virtbase + addr);



    DEBUG("slow_bar_writel addr=0x" TARGET_FMT_plx " val=0x%08x\n", addr, val);

    *out = val;

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1, uint32_t VAR_2)

{

    AssignedDevRegion *d = VAR_0;

    uint32_t *out = (uint32_t *)(d->u.r_virtbase + VAR_1);



    DEBUG("FUNC_0 VAR_1=0x" TARGET_FMT_plx " VAR_2=0x%08x\n", VAR_1, VAR_2);

    *out = VAR_2;

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1, uint32_t VAR_2)
{ AssignedDevRegion *d = VAR_0; uint32_t *out = (uint32_t *)(d->u.r_virtbase + VAR_1); DEBUG("FUNC_0 VAR_1=0x" TARGET_FMT_plx " VAR_2=0x%08x\n", VAR_1, VAR_2); *out = VAR_2; }