cmt_ev_thread_swtch
static void cmt_ev_thread_swtch(pg_t *, cpu_t *, hrtime_t,
pg->pg_cb.thread_swtch = cmt_ev_thread_swtch;