X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=geekos%2Fsrc%2Fgeekos%2Fsynch.c;h=5c5a75b17ac22b3bda37b5226eba5122c6a0bb6a;hb=f1d8183ae8c4390dfc74cb2780dd2058c569fc57;hp=fdc1f34ef423d558bca7a6cd18ad36f7aa81a082;hpb=d38e1d6edeee83bfb1e3e3c6e2367faa5055bdfe;p=palacios.git

diff --git a/geekos/src/geekos/synch.c b/geekos/src/geekos/synch.c
index fdc1f34..5c5a75b 100644
--- a/geekos/src/geekos/synch.c
+++ b/geekos/src/geekos/synch.c
@@ -14,6 +14,8 @@
 #include <geekos/synch.h>
 #include <geekos/timer.h>
 
+#include <geekos/debug.h>
+
 /*
  * NOTES:
  * - The GeekOS mutex and condition variable APIs are based on those
@@ -134,6 +136,24 @@ void Mutex_Unlock(struct Mutex* mutex)
 }
 
 /*
+ * Destroy Mutex
+ */
+void Mutex_Destroy(struct Mutex* mutex)
+{
+
+
+}
+
+/*
+ * Condition Destroy
+ */
+void Cond_Destroy(struct Condition* cond)
+{
+
+
+}
+
+/*
  * Initialize given condition.
  */
 void Cond_Init(struct Condition* cond)