kernel/include/ksched.h
/**
 * @brief Mark thread as dead
 *
 * This routine must be called with interrupts locked.
 */
@brief Mark thread as dead
This routine must be called with interrupts locked.
@brief Mark thread as dead This routine must be called with interrupts locked .
static inline void _mark_thread_as_dead(struct k_thread *thread)
{
	thread->base.thread_state |= _THREAD_DEAD;
#ifdef CONFIG_KERNEL_EVENT_LOGGER_THREAD
	_sys_k_event_logger_thread_exit(thread);
#endif
}
static inline void _mark_thread_as_dead ( struct k_thread * thread ) { thread -> base . thread_state |= _THREAD_DEAD ; #ifdef CONFIG_KERNEL_EVENT_LOGGER_THREAD _sys_k_event_logger_thread_exit ( thread ) ; #endif }
@brief Mark thread as dead
 This routine must be called with interrupts locked.
@brief Mark thread as dead This routine must be called with interrupts locked .