#include <hwo/threads.h>

#include <stdlib.h>

void thread_wake(THREAD* thread)
{
	ATOMIC
	
	if (thread == NULL)
		thread = current_thread();
	thread->wait = 0;
	thread->timeout = 0;
	
	schedule_thread( thread );
};