494,495d493
< // Record that an IPI is being sent.
< low.deliveryStatus = 1;
503,505d500
< bool timing(sys->isTimingMode());
< // Be careful no updates of the delivery status bit get lost.
< regs[APIC_INTERRUPT_COMMAND_LOW] = low;
561,562c556,562
< pendingIPIs += apics.size();
< intMasterPort.sendMessage(apics, message, timing);
---
> // Record that an IPI is being sent if one actually is.
> if (apics.size()) {
> low.deliveryStatus = 1;
> pendingIPIs += apics.size();
> }
> regs[APIC_INTERRUPT_COMMAND_LOW] = low;
> intMasterPort.sendMessage(apics, message, sys->isTimingMode());