X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fsimple_pic.c;h=16039e40d75a0862ca991de86a546ab4c2c12342;hb=f460aeead9da6649a7a75e0f7df3149e62b48f15;hp=06b6d013fd8dc79d37556d0e55a5d305c33a2805;hpb=b7093fd3602ef2c796a1f8a0daded9d6aad0b756;p=palacios.git

diff --git a/palacios/src/devices/simple_pic.c b/palacios/src/devices/simple_pic.c
index 06b6d01..16039e4 100644
--- a/palacios/src/devices/simple_pic.c
+++ b/palacios/src/devices/simple_pic.c
@@ -84,14 +84,14 @@ static int pic_init(struct guest_info * vm, void * cfg_data) {
     state = (struct pic_internal *)V3_Malloc(sizeof(struct pic_internal));
 
     if (!state) {
-	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("SIMPLE_PIC", &dev_ops, state);
 
     if (v3_attach_device(vm, dev) == -1) {
-        PrintError("Could not attach device %s\n", "SIMPLE_PIC");
+        PrintError(info->vm_info, info, "Could not attach device %s\n", "SIMPLE_PIC");
 	V3_Free(state);
         return -1;
     }