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 (file)
--- 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 (file)
--- 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 (file)
--- 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 (file)
--- a/palacios/src/geekos/timer.c
+++ b/palacios/src/geekos/timer.c
@@ -438,3 +438,6 @@ void Micro_Delay(int us)
 
     Spin(numSpins);
 }
+
+
+