From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Wed, 28 Jan 2009 23:36:36 +0000 (-0600)
Subject: fixed debug print syntax errors
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=19b0b4544674b4f9bc727da5242d625f18821a48

fixed debug print syntax errors
---

diff --git a/palacios/src/devices/8259a.c b/palacios/src/devices/8259a.c
index f13dc1d..4b9649b 100644
--- a/palacios/src/devices/8259a.c
+++ b/palacios/src/devices/8259a.c
@@ -242,8 +242,8 @@ static int pic_get_intr_number(void * private_data) {
   int i = 0;
   int irq = -1;
 
-  PrintDebug("8259 PIC: getnum: master_irr: 0x%x master_imr: 0x%x\n", i, state->master_irr, state->master_imr);
-  PrintDebug("8259 PIC: getnum: slave_irr: 0x%x slave_imr: 0x%x\n", i, state->slave_irr, state->slave_imr);
+  PrintDebug("8259 PIC: getnum: master_irr: 0x%x master_imr: 0x%x\n", state->master_irr, state->master_imr);
+  PrintDebug("8259 PIC: getnum: slave_irr: 0x%x slave_imr: 0x%x\n", state->slave_irr, state->slave_imr);
 
   for (i = 0; i < 16; i++) {
     if (i <= 7) {
diff --git a/palacios/src/devices/keyboard.c b/palacios/src/devices/keyboard.c
index 8f25c0c..afcfc25 100644
--- a/palacios/src/devices/keyboard.c
+++ b/palacios/src/devices/keyboard.c
@@ -1066,7 +1066,7 @@ static int keyboard_write_output(ushort_t port,
       case 0xff: // reset
 	PushToOutputQueue(dev, 0xfa, OVERWRITE, COMMAND, KEYBOARD); // ack
 	state->state = RESET;
-	PrintDebug("keyboard: reset complete and acked\n", data);
+	PrintDebug("keyboard: reset complete and acked\n");
 	break;
       case 0xf5: // disable scanning
       case 0xf4: // enable scanning
@@ -1074,7 +1074,7 @@ static int keyboard_write_output(ushort_t port,
 	PushToOutputQueue(dev, 0xfa, OVERWRITE, COMMAND, KEYBOARD);
 	// should do something here... PAD
 	state->state = NORMAL;
-	PrintDebug("keyboard: %s scanning done and acked\n",data==0xf5 ? "disable" : "enable", data);
+	PrintDebug("keyboard: %s scanning done and acked\n",data==0xf5 ? "disable" : "enable");
 	break;
       case 0xfe: // resend
       case 0xfd: // set key type make
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);