227,11 → 227,8 |
l_apic[ICRlo] = icr.lo; |
|
icr.lo = l_apic[ICRlo]; |
if (icr.delivs == DELIVS_PENDING) { |
#ifdef CONFIG_DEBUG |
if (icr.delivs == DELIVS_PENDING) |
printf("IPI is pending.\n"); |
#endif |
} |
|
return apic_poll_errors(); |
} |
270,15 → 267,11 |
*/ |
delay(20); |
|
if (!apic_poll_errors()) |
return 0; |
if (!apic_poll_errors()) return 0; |
|
icr.lo = l_apic[ICRlo]; |
if (icr.delivs == DELIVS_PENDING) { |
#ifdef CONFIG_DEBUG |
if (icr.delivs == DELIVS_PENDING) |
printf("IPI is pending.\n"); |
#endif |
} |
|
icr.delmod = DELMOD_INIT; |
icr.destmod = DESTMOD_PHYS; |