void tfm_event_wake(struct tfm_event_t *pevnt, uint32_t retval)
void __STATIC_INLINE tfm_core_thrd_set_retval(struct tfm_core_thread_t *pth, uint32_t retval)
void tfm_event_wait(struct tfm_event_t *pevnt)
struct tfm_core_thread_t * owner
struct tfm_core_thread_t * tfm_core_thrd_get_curr_thread(void)
#define TFM_CORE_ASSERT(cond)
void tfm_core_thrd_set_state(struct tfm_core_thread_t *pth, uint32_t new_state)
void tfm_core_thrd_activate_schedule(void)
#define THRD_STATE_RUNNING