#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 );
};