703 static void thread_helper(void *arg1, void *arg2, void *arg3)  in thread_helper()  argument
708 	ARG_UNUSED(arg2);  in thread_helper()
735 static void k_yield_entry(void *arg0, void *arg1, void *arg2)  in k_yield_entry()  argument
741 	ARG_UNUSED(arg2);  in k_yield_entry()
797 static void kernel_thread_entry(void *_thread_id, void *arg1, void *arg2)  in kernel_thread_entry()  argument
800 	ARG_UNUSED(arg2);  in kernel_thread_entry()
837 static void busy_wait_thread(void *mseconds, void *arg2, void *arg3)  in busy_wait_thread()  argument
841 	ARG_UNUSED(arg2);  in busy_wait_thread()
873 static void thread_sleep(void *delta, void *arg2, void *arg3)  in thread_sleep()  argument
878 	ARG_UNUSED(arg2);  in thread_sleep()
896 static void delayed_thread(void *num, void *arg2, void *arg3)  in delayed_thread()  argument
900 	ARG_UNUSED(arg2);  in delayed_thread()