22 static void sleepy_thread(void *p1, void *p2, void *p3)  in sleepy_thread()  argument
24 	ARG_UNUSED(p1);  in sleepy_thread()
45 static void preempt_test_thread(void *p1, void *p2, void *p3)  in preempt_test_thread()  argument
47 	ARG_UNUSED(p1);  in preempt_test_thread()
97 static void thread_suspend_init_null(void *p1, void *p2, void *p3)  in thread_suspend_init_null()  argument
99 	ARG_UNUSED(p1);  in thread_suspend_init_null()
138 static void thread_resume_init_null(void *p1, void *p2, void *p3)  in thread_resume_init_null()  argument
140 	ARG_UNUSED(p1);  in thread_resume_init_null()
179 static void thread_priority_get_init_null(void *p1, void *p2, void *p3)  in thread_priority_get_init_null()  argument
181 	ARG_UNUSED(p1);  in thread_priority_get_init_null()
220 static void thread_priority_set_init_null(void *p1, void *p2, void *p3)  in thread_priority_set_init_null()  argument
222 	ARG_UNUSED(p1);  in thread_priority_set_init_null()
261 static void thread_priority_set_overmax(void *p1, void *p2, void *p3)  in thread_priority_set_overmax()  argument
263 	ARG_UNUSED(p1);  in thread_priority_set_overmax()
303 static void thread_priority_set_upgrade(void *p1, void *p2, void *p3)  in thread_priority_set_upgrade()  argument
305 	ARG_UNUSED(p1);  in thread_priority_set_upgrade()
347 static void thread_wakeup_init_null(void *p1, void *p2, void *p3)  in thread_wakeup_init_null()  argument
349 	ARG_UNUSED(p1);  in thread_wakeup_init_null()