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

{

    dp8393x_writew(opaque, addr, val & 0xffff);

    dp8393x_writew(opaque, addr + 2, (val >> 16) & 0xffff);

}

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

{

    dp8393x_writew(opaque, addr, val & 0xffff);

    dp8393x_writew(opaque, addr + 2, (val >> 16) & 0xffff);

}

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

{

    dp8393x_writew(VAR_0, VAR_1, VAR_2 & 0xffff);

    dp8393x_writew(VAR_0, VAR_1 + 2, (VAR_2 >> 16) & 0xffff);

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1, uint32_t VAR_2)
{ dp8393x_writew(VAR_0, VAR_1, VAR_2 & 0xffff); dp8393x_writew(VAR_0, VAR_1 + 2, (VAR_2 >> 16) & 0xffff); }