added support for timing out Cond_Wait's

[palacios.git] / palacios / include / geekos / kthread.h

diff --git a/palacios/include/geekos/kthread.h b/palacios/include/geekos/kthread.h
index f0ef23c..48ade1c 100644 (file)
--- a/palacios/include/geekos/kthread.h
+++ b/palacios/include/geekos/kthread.h
@@ -123,6 +123,7 @@ void Switch_To_Thread(struct Kernel_Thread*);
 void Wait(struct Thread_Queue* waitQueue);
 void Wake_Up(struct Thread_Queue* waitQueue);
 void Wake_Up_One(struct Thread_Queue* waitQueue);
+void Wake_Up_Thread(struct Thread_Queue* waitQueue, int pid);
 
 /*
  * Pointer to currently executing thread.