ti_pruss_reg_read
uint32_t rmw = ti_pruss_reg_read(sc, regadr);
if (ti_pruss_reg_read(sc, PRUSS_AM33XX_INTC) == PRUSS_AM33XX_REV)
val = ti_pruss_reg_read(sc, PRUSS_INTC_HIER);