ismt_read32
msts = ismt_read32(ismt, ISMT_R_MSTS);
uint32_t mctrl = ismt_read32(ismt, ISMT_R_MCTRL);
val = ismt_read32(ismt, ISMT_R_SPGT);