/* Change a thread's priority. 
Unlike the normal k_thread_priority_set(), this custom syscall allows a user thread to raise its priority.  */
void z_impl_test_thread_priority_set(k_tid_t thread, int prio)
/* Change a thread's priority. 
Unlike the normal k_thread_priority_set(), this custom syscall allows a user thread to raise its priority.  */
void z_impl_test_thread_priority_set(k_tid_t thread, int prio)
{
	extern void z_thread_priority_set(struct k_thread *thread, int prio);
	z_thread_priority_set((struct k_thread *)thread, prio);
}