Lines Matching refs:ktask_t
74 void trace_task_switch(ktask_t *from, ktask_t *to);
75 void trace_intrpt_task_switch(ktask_t *from, ktask_t *to);
78 void trace_task_create(ktask_t *task);
79 void trace_task_wait_abort(ktask_t *task, ktask_t *task_abort);
80 void trace_task_resume(ktask_t *task, ktask_t *task_resumed);
81 void trace_task_suspend(ktask_t *task, ktask_t *task_suspended);
82 void trace_task_start_ready(ktask_t *task);
83 void trace_task_stop_ready(ktask_t *task);
99 void trace_sem_create(ktask_t *task, ksem_t *sem);
100 void trace_sem_overflow(ktask_t *task, ksem_t *sem);
101 void trace_sem_cnt_increase(ktask_t *task, ksem_t *sem);
102 void trace_sem_get_success(ktask_t *task, ksem_t *sem);
103 void trace_sem_get_blk(ktask_t *task, ksem_t *sem);
104 void trace_sem_task_wake(ktask_t *task, ktask_t *task_waked_up, ksem_t *sem, uint8_t opt_wake_all);
105 void trace_sem_del(ktask_t *task, ksem_t *sem);
118 void trace_mutex_create(ktask_t *task, kmutex_t *mutex, const name_t *name);
119 void trace_mutex_release(ktask_t *task, ktask_t *task_release, uint8_t new_pri);
120 void trace_mutex_get(ktask_t *task, kmutex_t *mutex, tick_t wait_option);
121 void trace_task_pri_inv(ktask_t *task, ktask_t *mtxtsk);
122 void trace_mutex_get_blk(ktask_t *task, kmutex_t *mutex, tick_t wait_option);
123 void trace_mutex_release_success(ktask_t *task, kmutex_t *mutex);
124 void trace_mutex_task_wake(ktask_t *task, ktask_t *task_waked_up, kmutex_t *mutex);
125 void trace_mutex_del(ktask_t *task, kmutex_t *mutex);
137 void trace_event_create(ktask_t *task, kevent_t *event, const name_t *name, uint32_t flags_init);
138 void trace_event_get(ktask_t *task, kevent_t *event);
139 void trace_event_get_blk(ktask_t *task, kevent_t *event, tick_t wait_option);
140 void trace_event_task_wake(ktask_t *task, ktask_t *task_waked_up, kevent_t *event);
141 void trace_event_del(ktask_t *task, kevent_t *event);
150 void trace_buf_queue_create(ktask_t *task, kbuf_queue_t *buf_queue);
151 void trace_buf_queue_max(ktask_t *task, kbuf_queue_t *buf_queue, void *msg, size_t msg_size);
152 void trace_buf_queue_post(ktask_t *task, kbuf_queue_t *buf_queue, void *msg, size_t msg_size);
153 void trace_buf_queue_task_wake(ktask_t *task, ktask_t *task_waked_up, kbuf_queue_t *buf_queue);
154 void trace_buf_queue_get_blk(ktask_t *task, kbuf_queue_t *buf_queue, tick_t wait_option);
176 void trace_workqueue_init(ktask_t *task, kwork_t *work);
177 void trace_workqueue_create(ktask_t *task, kworkqueue_t *workqueue);
178 void trace_workqueue_del(ktask_t *task, kworkqueue_t *workqueue);