Searched refs:do_task_dead (Results 1 – 3 of 3) sorted by relevance
63 void __noreturn do_task_dead(void);
864 do_task_dead(); in do_exit()
4813 void __noreturn do_task_dead(void) in do_task_dead() function