diff options
| -rw-r--r-- | src/cpu/x86/mp_init.c | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/src/cpu/x86/mp_init.c b/src/cpu/x86/mp_init.c index acc1323967..f00418547e 100644 --- a/src/cpu/x86/mp_init.c +++ b/src/cpu/x86/mp_init.c @@ -182,9 +182,16 @@ static asmlinkage void ap_init(unsigned int index) enable_lapic(); setup_lapic_interrupts(); - struct device *dev = g_cpu_bus->children; - for (unsigned int i = index; i > 0; i--) - dev = dev->sibling; + struct device *dev; + int i = 0; + for (dev = g_cpu_bus->children; dev; dev = dev->sibling) + if (i++ == index) + break; + + if (!dev) { + printk(BIOS_ERR, "Could not find allocated device for index %u\n", index); + return; + } set_cpu_info(index, dev); |