SIBA_CFG0_IDHIGH
idhigh = siba_eio_read_4(io, core_idx, SB0_REG_ABS(SIBA_CFG0_IDHIGH));
SB0_REG_ABS(SIBA_CFG0_IDHIGH));