Searched refs:do_task_dead (Results 1 – 4 of 4) sorted by relevance
28 NORETURN(do_task_dead)
72 void __noreturn do_task_dead(void);
1019 do_task_dead(); in do_exit()1077 do_task_dead(); in make_task_dead()
6924 void __noreturn do_task_dead(void) in do_task_dead() function