Searched refs:msp (Results 1 – 1 of 1) sorted by relevance
207 uint32_t msp; member286 __set_MSP(vt->msp); in do_boot()