58 void condvar_wait_task(void *p1, void *p2, void *p3)  in condvar_wait_task()  argument
61 	k_ticks_t time_val = *(int *)p1;  in condvar_wait_task()
91 void condvar_wake_task(void *p1, void *p2, void *p3)  in condvar_wake_task()  argument
100 void condvar_wake_multiple(void *p1, void *p2, void *p3)  in condvar_wake_multiple()  argument
103 	int woken_num = *(int *)p1;  in condvar_wake_multiple()
110 void condvar_wait_wake_task(void *p1, void *p2, void *p3)  in condvar_wait_wake_task()  argument
113 	int time_val = *(int *)p1;  in condvar_wait_wake_task()
320 void condvar_multiple_wait_wake_task(void *p1, void *p2, void *p3)  in condvar_multiple_wait_wake_task()  argument
323 	int time_val = *(int *)p1;  in condvar_multiple_wait_wake_task()
338 void condvar_multiple_wake_task(void *p1, void *p2, void *p3)  in condvar_multiple_wake_task()  argument
341 	int woken_num = *(int *)p1;  in condvar_multiple_wake_task()
394 static void cond_init_null(void *p1, void *p2, void *p3)  in cond_init_null()  argument
396 	ARG_UNUSED(p1);  in cond_init_null()
425 static void cond_signal_null(void *p1, void *p2, void *p3)  in cond_signal_null()  argument
427 	ARG_UNUSED(p1);  in cond_signal_null()
438 static void cond_broadcast_null(void *p1, void *p2, void *p3)  in cond_broadcast_null()  argument
440 	ARG_UNUSED(p1);  in cond_broadcast_null()
451 static void cond_wait_null(void *p1, void *p2, void *p3)  in cond_wait_null()  argument
453 	ARG_UNUSED(p1);  in cond_wait_null()
509 void inc_count(void *p1, void *p2, void *p3)  in inc_count()  argument
533 void watch_count(void *p1, void *p2, void *p3)  in watch_count()  argument
535 	long my_id = (long)p1;  in watch_count()