| 34,6 → 34,7 |
|---|
| #include <arch/acpi/madt.h> |
| #include <config.h> |
| #include <synch/waitq.h> |
| #include <synch/synch.h> |
| #include <arch/pm.h> |
| #include <func.h> |
| #include <panic.h> |
| 111,8 → 112,6 |
|---|
| outb(0x70,0xf); |
| outb(0x71,0xa); |
| |
| cpu_priority_high(); |
| |
| pic_disable_irqs(0xffff); |
| apic_init(); |
| |
| 132,7 → 131,7 |
|---|
| continue; |
| |
| if (ops->cpu_apic_id(i) == l_apic_id()) { |
| printf("kmp: bad processor entry #%d, will not send IPI to myself\n", i); |
| printf("%s: bad processor entry #%d, will not send IPI to myself\n", __FUNCTION__, i); |
| continue; |
| } |
| |
| 153,7 → 152,8 |
|---|
| * the time. After it comes completely up, it is |
| * supposed to wake us up. |
| */ |
| waitq_sleep(&ap_completion_wq); |
| if (waitq_sleep_timeout(&ap_completion_wq, 1000000, SYNCH_BLOCKING) == ESYNCH_TIMEOUT) |
| printf("%s: waiting for cpu%d (APIC ID = %d) timed out\n", __FUNCTION__, config.cpu_active > i ? config.cpu_active : i, ops->cpu_apic_id(i)); |
| } |
| else { |
| printf("INIT IPI for l_apic%d failed\n", ops->cpu_apic_id(i)); |