thread_at_kernel_exit_no_signals
void thread_at_kernel_exit_no_signals(void);
thread_at_kernel_exit_no_signals();