Searched refs:freectx (Results 1 – 3 of 3) sorted by relevance
705 extern void freectx(kthread_t *, int);
765 freectx(t, 0); in thread_free()1190 freectx(kthread_t *t, int isexec) in freectx() function
325 freectx(curthread, 1); in exec_common()