X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fapic.c;h=e038bb2d33a3c19a25cb211640e5c79bcbc83632;hb=fe9b69407ae9ac7aeb6a9d1500c89d48953864ac;hp=dab92b66f7aa0033d5e3160b694192327bee674f;hpb=c7b8465c6a056d5603e8733b280fefe6809ed738;p=palacios.git

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index dab92b6..e038bb2 100644
--- a/palacios/src/devices/apic.c
+++ b/palacios/src/devices/apic.c
@@ -776,11 +776,6 @@ static int route_ipi(struct apic_dev_state * apic_dev,
 		    return -1;
 		}
 
-
-		dest_apic =  &(apic_dev->apics[icr->dst]);
-		
-
-
 		if (deliver_ipi(src_apic, dest_apic, 
 				icr->vec, icr->del_mode) == -1) {
 		    PrintError("apic: Could not deliver IPI\n");