/* function : wb_ebios_get_reg_base(u32 sel) description : get write-back controller register base parameters : sel <controller select> return : registers base  */
uintptr_t wb_ebios_get_reg_base(u32 sel)
/* function : wb_ebios_get_reg_base(u32 sel) description : get write-back controller register base parameters : sel <controller select> return : registers base  */
uintptr_t wb_ebios_get_reg_base(u32 sel)
{
    uintptr_t ret = 0;
    ret = (uintptr_t) wb_dev[sel];
    return ret;
}