X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fapic.c;h=a3250068fcf9b05108255180f19d2c46acdb5823;hp=e44c9b0492587571397a966faa100957fc45e3f5;hb=88a3605446744969abe6f193a7bc20e62d5aa555;hpb=d775bbfa668ce9968bacc0e4257cf86e5ab88e90

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index e44c9b0..a325006 100644
--- a/palacios/src/devices/apic.c
+++ b/palacios/src/devices/apic.c
@@ -894,6 +894,11 @@ static int deliver_ipi(struct apic_state * src_apic,
 	    }
 
 
+	    if (!src_apic) { 
+		PrintError(VM_NONE, VCORE_NONE, "Attempting to INIT from somewhere other than an APIC...  Ignoring\n");
+		break;
+	    }
+
 	    if (dst_apic->ipi_state != INIT_ST) { 
 		v3_raise_barrier(dst_core->vm_info, src_apic->core);
 		dst_core->core_run_state = CORE_STOPPED;