X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Ftimer.c;h=0186269afd35639475cd50513e3217483ce5e679;hb=c1810f8134ef829599525d30856970f0155da1f3;hp=97d5d7dd29a5d5087514b1b640652d667260c084;hpb=b7093fd3602ef2c796a1f8a0daded9d6aad0b756;p=palacios.git

diff --git a/palacios/src/devices/timer.c b/palacios/src/devices/timer.c
index 97d5d7d..0186269 100644
--- a/palacios/src/devices/timer.c
+++ b/palacios/src/devices/timer.c
@@ -30,7 +30,7 @@ struct timer_state {
 
 /*
   static int irq_handler(uint_t irq, struct vm_device * dev) {
-  PrintDebug("Timer interrupt\n");
+  PrintDebug(info->vm_info, info, "Timer interrupt\n");
   return 0;
 
   }
@@ -58,14 +58,14 @@ static int timer_init(struct guest_info * vm, void * cfg_data) {
     timer = (struct timer_state *)V3_Malloc( sizeof(struct timer_state));
 
     if (!timer) {
-	PrintError("Cannot allocate in init\n");
+	PrintError(info->vm_info, info, "Cannot allocate in init\n");
 	return -1;
     }
 
     struct vm_device * dev = v3_allocate_device("TIMER", &dev_ops, timer);
     
     if (v3_attach_device(vm, dev) == -1) {
-	PrintError("Could not attach device %s\n", "TIMER");
+	PrintError(info->vm_info, info, "Could not attach device %s\n", "TIMER");
         return -1;
     }