X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fapic.c;h=78d5452ccba56dba6e8357a523ff1f7be13ee5de;hb=3df3ce0563ed291efdbe800bcb9523256f87272d;hp=f7cf5e62d6beef5251efd0e67f33bfbebded0565;hpb=e0c113197cc4f189d1e2d34ede358b7733d73e4d;p=palacios.git

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index f7cf5e6..78d5452 100644
--- a/palacios/src/devices/apic.c
+++ b/palacios/src/devices/apic.c
@@ -902,7 +902,7 @@ static int apic_write(struct guest_info * core, addr_t guest_addr, void * src, u
 
 	    // ICC???
 	    PrintDebug("apic %u: core %u: sending cmd 0x%llx to apic %u\n", 
-		       apic->clapic_id.val, core->cpu_id,
+		       apic->lapic_id.val, core->cpu_id,
 		       apic->int_cmd.val, apic->int_cmd.dst);
 	    if (v3_icc_send_ipi(apic->icc_bus, apic->lapic_id.val, apic->int_cmd.val,apic->dst_fmt.val,0)==-1) { 
 		return -1;