diff --git a/plat/qemu/qemu_sbsa/sbsa_sip_svc.c b/plat/qemu/qemu_sbsa/sbsa_sip_svc.c index da40c78dd..ed49e915a 100644 --- a/plat/qemu/qemu_sbsa/sbsa_sip_svc.c +++ b/plat/qemu/qemu_sbsa/sbsa_sip_svc.c @@ -103,6 +103,9 @@ void read_cpuinfo_from_dt(void *dtb) while (node > 0) { if (fdt_getprop(dtb, node, "reg", NULL)) { fdt_get_reg_props_by_index(dtb, node, 0, &mpidr, NULL); + } else { + ERROR("Incomplete information for cpu %d in DeviceTree.\n", cpu); + panic(); } if (fdt_getprop(dtb, node, "numa-node-id", NULL)) {