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

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)