From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Fri, 11 Sep 2009 22:57:52 +0000 (-0500)
Subject: fix debugging statement
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=083af1763ddaecb78ff222141d78ba17df26aa47

fix debugging statement
---

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index 5c5f7a4..3d524ed 100644
--- a/palacios/src/devices/apic.c
+++ b/palacios/src/devices/apic.c
@@ -1000,7 +1000,7 @@ static void apic_update_time(ullong_t cpu_cycles, ullong_t cpu_freq, void * priv
 		   apic->tmr_vec_tbl.tmr_mode, apic->tmr_init_cnt, shift_num);
 
 	if (apic_intr_pending(dev->vm, priv_data)) {
-	    PrintDebug("Overriding pending IRQ %d\n", apic_get_intr_number(priv_data));
+	    PrintDebug("Overriding pending IRQ %d\n", apic_get_intr_number(dev->vm, priv_data));
 	}
 
 	if (activate_internal_irq(apic, APIC_TMR_INT) == -1) {