mstate_systhread_times
mstate_systhread_times(t, &sdc->sdc_base_O, &sdc->sdc_base_R);
mstate_systhread_times(t, &sdc->sdc_cur_O, &sdc->sdc_cur_R);
extern void mstate_systhread_times(kthread_t *, hrtime_t *, hrtime_t *);