Merge branch 'lwip_dev' into devel

[palacios.git] / geekos / src / geekos / synch.c

diff --git a/geekos/src/geekos/synch.c b/geekos/src/geekos/synch.c
index fdc1f34..5c5a75b 100644 (file)
--- 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)