ISMT_R_MCTRL
uint32_t mctrl = ismt_read32(ismt, ISMT_R_MCTRL);
ismt_write32(ismt, ISMT_R_MCTRL, mctrl);
ismt_write32(ismt, ISMT_R_MCTRL, val);