Cleanup and sanity-checking of before/after null-check and copy+paste errors (Coverit...

[palacios.git] / palacios / src / devices / apic.c

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index e44c9b0..a325006 100644 (file)
--- 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;