From: Peter Dinda <pdinda@northwestern.edu>
Date: Thu, 6 Mar 2014 19:33:35 +0000 (-0600)
Subject: Minor bug fix
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=0cfff557ab0e411afa26850f502d39c6026cb355

Minor bug fix
---

diff --git a/palacios/src/devices/hpet.c b/palacios/src/devices/hpet.c
index 5e65cd9..a9b5d1a 100644
--- a/palacios/src/devices/hpet.c
+++ b/palacios/src/devices/hpet.c
@@ -859,7 +859,7 @@ hpet_init (struct v3_vm_info * vm, v3_cfg_tree_t * cfg)
     /* init architecturally visible state */
 	init_hpet_state(hpet);
 
-    PrintDebug(core->vm_info, core "HPET: Hooking HPET mem region at %p\n", (void*)hpet->base_addr);
+    PrintDebug(core->vm_info, core, "HPET: Hooking HPET mem region at %p\n", (void*)hpet->base_addr);
 	if (v3_hook_full_mem(vm, 
                          V3_MEM_CORE_ANY, 
                          hpet->base_addr,