X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Ftimer.h;h=da3141526c33f1516f29c804c6bd9d11b7e9f83e;hb=f032dd8f6f03c414f9d1f208845464ff76050b6c;hp=b9f4eb415181d145616186a3c3a83bbeb8a12dca;hpb=d98e541db0a18647cdefbc17ad40c282189533aa;p=palacios.git

diff --git a/palacios/include/geekos/timer.h b/palacios/include/geekos/timer.h
index b9f4eb4..da31415 100644
--- a/palacios/include/geekos/timer.h
+++ b/palacios/include/geekos/timer.h
@@ -43,4 +43,6 @@ int Cancel_Timer(int id);
 
 void Micro_Delay(int us);
 
+ulong_t clock_time(void);  //return elipsed millisecs
+
 #endif  /* GEEKOS_TIMER_H */