Searched refs:freectx (Results 1 – 3 of 3) sorted by relevance
742 extern void freectx(kthread_t *, int);
750 freectx(t, 0); in thread_free()1343 freectx(kthread_t *t, int isexec) in freectx() function
425 freectx(curthread, 1); in exec_common()