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