X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fnvram.c;h=5d433bbacc5b0730a43b8fc6a236811b3998c4da;hb=19b0b4544674b4f9bc727da5242d625f18821a48;hp=59e200303b6470328cc6fa5b2e148f0422f897c1;hpb=a6865d183eedbdf3e5510e4be89dcb5ce51b5953;p=palacios.git

diff --git a/palacios/src/devices/nvram.c b/palacios/src/devices/nvram.c
index 59e2003..5d433bb 100644
--- a/palacios/src/devices/nvram.c
+++ b/palacios/src/devices/nvram.c
@@ -652,7 +652,7 @@ struct vm_device * v3_create_nvram() {
 
   nvram_state = (struct nvram_internal *)V3_Malloc(sizeof(struct nvram_internal) + 1000);
 
-  PrintDebug("nvram: internal at %x\n", nvram_state);
+  PrintDebug("nvram: internal at %p\n", (void *)nvram_state);
 
   struct vm_device * device = v3_create_device("NVRAM", &dev_ops, nvram_state);