From: Lei Xia <lxia@northwestern.edu>
Date: Mon, 29 Sep 2008 16:17:43 +0000 (-0500)
Subject: No change to file, just keep update
X-Git-Tag: 1.0~3^2~11^2~5
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=3cfd36ea8e68ec218ae1aa3ac3c793037aa5c694;p=palacios-OLD.git

No change to file, just keep update
---

diff --git a/palacios/include/geekos/synch.h b/palacios/include/geekos/synch.h
index 5cb95ef..f5d7ebb 100644
--- a/palacios/include/geekos/synch.h
+++ b/palacios/include/geekos/synch.h
@@ -32,11 +32,13 @@ struct Condition {
 void Mutex_Init(struct Mutex* mutex);
 void Mutex_Lock(struct Mutex* mutex);
 void Mutex_Unlock(struct Mutex* mutex);
+void Mutex_Destroy(struct Mutex *mutex);   //added by Lei, do some cleaning work?
 
 void Cond_Init(struct Condition* cond);
 void Cond_Wait(struct Condition* cond, struct Mutex* mutex);
 void Cond_Signal(struct Condition* cond);
 void Cond_Broadcast(struct Condition* cond);
+void Cond_Destroy(struct Condition *cond); //added by Lei
 
 #define IS_HELD(mutex) \
     ((mutex)->state == MUTEX_LOCKED && (mutex)->owner == g_currentThread)
diff --git a/palacios/include/geekos/timer.h b/palacios/include/geekos/timer.h
index 7fb783d..6b123aa 100644
--- a/palacios/include/geekos/timer.h
+++ b/palacios/include/geekos/timer.h
@@ -39,7 +39,6 @@ int Get_Remaining_Timer_MSecs(int id);
 int Get_Remaining_Timer_Ticks(int id);
 int Cancel_Timer(int id);
 
-
 void Micro_Delay(int us);
 
 #endif  /* GEEKOS_TIMER_H */
diff --git a/palacios/src/common/string.c b/palacios/src/common/string.c
index 7415067..5c82ec4 100644
--- a/palacios/src/common/string.c
+++ b/palacios/src/common/string.c
@@ -294,9 +294,17 @@ int fprintf(FILE *file, char *fmt, ...)
 
 }
 
-/* int fflush(FILE *stream)
+int printf(char *fmt, ...)
 {
-    PrintDebug("In fflush!!\n");
+   // PrintDebug("In fprintf!!\n");
+
+   return 0;
+
+}
+
+int fflush(FILE *stream)
+{
+    //PrintDebug("In fflush!!\n");
 
     return 0;
 }*/
diff --git a/palacios/src/geekos/timer.c b/palacios/src/geekos/timer.c
index 7f4ab49..fb5c9d2 100644
--- a/palacios/src/geekos/timer.c
+++ b/palacios/src/geekos/timer.c
@@ -438,3 +438,6 @@ void Micro_Delay(int us)
 
     Spin(numSpins);
 }
+
+
+