#include <sys/threads.h>
#include <stdlib.h>

void thread_set_priority(THREAD* thread,uint8_t prio) {
	ATOMIC
	
	if (!thread) {
		thread = current_thread();
	};

	thread->priority = prio;
	
	schedule_thread( thread );
	
};