Searched refs:tnf_thread_switch (Results 1 – 3 of 3) sorted by relevance
109 extern void tnf_thread_switch(kthread_t *);
298 tnf_thread_switch(next); in dtrace_vtime_switch()
278 tnf_thread_switch(kthread_t *next) in tnf_thread_switch() function