Compilable version with both lwip and uip

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

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