| /SPARTAN/trunk/arch/ia32/src/smp/mp.c |
|---|
| 493,6 → 493,11 |
| if (pr[i].cpu_flags & (1<<1)) |
| continue; |
| if (pr[i].l_apic_id == l_apic_id()) { |
| printf("%X: bad processor entry #%d, will not send IPI to myself\n", &pr[i], i); |
| continue; |
| } |
| /* |
| * Prepare new GDT for CPU in question. |
| */ |