SIBA_CFG_OFFSET
r_start = addrspace->sa_base + SIBA_CFG_OFFSET(i);
cfg_offset = SIBA_CFG_OFFSET(cfg);