Searched refs:do_task_dead (Results 1 – 3 of 3) sorted by relevance
65 void __noreturn do_task_dead(void);
919 do_task_dead(); in do_exit()971 do_task_dead(); in make_task_dead()
6561 void __noreturn do_task_dead(void) in do_task_dead() function