/* function : wb_ebios_set_reg_base(u32 sel, u32 base) description : setup write-back controller register base parameters : sel <controller select> base <register base> return : success  */
s32 wb_ebios_set_reg_base(u32 sel, uintptr_t base)
/* function : wb_ebios_set_reg_base(u32 sel, u32 base) description : setup write-back controller register base parameters : sel <controller select> base <register base> return : success  */
s32 wb_ebios_set_reg_base(u32 sel, uintptr_t base)
{
    int i = 0;
    DE_INF("sel=%d, base=0x%p\n", sel, (void *)(base + WB_OFFSET));
    for (i = 0; i < DE_NUM; ++i)
        wb_dev[i] = (struct __wb_reg_t *) (base + WB_OFFSET);
    return 0;
}