X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fsynch.c;h=c7a826cc6bb47ddf5d0250140bb46c16d2122aab;hb=f032dd8f6f03c414f9d1f208845464ff76050b6c;hp=fdc1f34ef423d558bca7a6cd18ad36f7aa81a082;hpb=d98e541db0a18647cdefbc17ad40c282189533aa;p=palacios-OLD.git

diff --git a/palacios/src/geekos/synch.c b/palacios/src/geekos/synch.c
index fdc1f34..c7a826c 100644
--- a/palacios/src/geekos/synch.c
+++ b/palacios/src/geekos/synch.c
@@ -134,6 +134,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)