Rev 27 | Rev 29 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 27 | Rev 28 | ||
---|---|---|---|
Line 492... | Line 492... | ||
492 | */ |
492 | */ |
493 | if (pr[i].cpu_flags & (1<<1)) |
493 | if (pr[i].cpu_flags & (1<<1)) |
494 | continue; |
494 | continue; |
495 | 495 | ||
496 | if (pr[i].l_apic_id == l_apic_id()) { |
496 | if (pr[i].l_apic_id == l_apic_id()) { |
497 | printf("%X: bad processor entry #%d, will not send IPI to myself\n", &pr[i], i); |
497 | printf("%L: bad processor entry #%d, will not send IPI to myself\n", &pr[i], i); |
498 | continue; |
498 | continue; |
499 | } |
499 | } |
500 | 500 | ||
501 | /* |
501 | /* |
502 | * Prepare new GDT for CPU in question. |
502 | * Prepare new GDT for CPU in question. |