X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Ftimer.c;h=0e3804f2421e935a22dcd768caf67011411ff8b1;hb=3fb8af7e2069d7517b5d6c4fb7dc04b22ddf8396;hp=ec47b0b72e40286f2aca559d132ae9abd55a56b2;hpb=f032dd8f6f03c414f9d1f208845464ff76050b6c;p=palacios.releases.git

diff --git a/palacios/src/geekos/timer.c b/palacios/src/geekos/timer.c
index ec47b0b..0e3804f 100644
--- a/palacios/src/geekos/timer.c
+++ b/palacios/src/geekos/timer.c
@@ -356,6 +356,8 @@ int Start_Timer(int ticks, timerCallback cb, void * arg)
 
     KASSERT(!Interrupts_Enabled());
 
+    PrintBoth ("there\n");
+
     if (timeEventCount == MAX_TIMER_EVENTS) {
 	return -1;
     } else {