bcmcca_read_4
uint32_t v = bcmcca_read_4(sc, MISC_INTSTATUS);
uint32_t chipid = bcmcca_read_4(sc, MISC_CHIPID);
uint32_t v = bcmcca_read_4(sc, IDM_BASE + APBX_IDM_IO_CONTROL_DIRECT);
v = bcmcca_read_4(sc, MISC_CORECTL);
uint32_t intmask = bcmcca_read_4(sc, MISC_INTMASK);