Searched full:fx_exit (Results 1 – 2 of 2) sorted by relevance
57 * fx_exit - called when a thread exits. This also needs to free any storage
183 static void fx_exit(kthread_t *);226 fx_exit,539 fx_exit(kthread_t *t) in fx_exit() function