MISC_INTMASK
uint32_t intmask = bcmcca_read_4(sc, MISC_INTMASK);
bcmcca_write_4(sc, MISC_INTMASK, intmask);