init_mstate
init_mstate(ct, LMS_STOPPED);
init_mstate(t, LMS_STOPPED);
init_mstate(curthread, LMS_SYSTEM);
init_mstate(&t0, LMS_SYSTEM);
extern void init_mstate(kthread_t *, int);
init_mstate(&t0, LMS_SYSTEM);
init_mstate(&t0, LMS_SYSTEM);