284a285,287
> } else if (deliveryMode == DeliveryMode::SIPI && !pendingStartup) {
> pendingUnmaskableInt = pendingStartup = true;
> startupVector = vector;
540a544
> pendingStartup(false), startupVector(0),
589a594,596
> } else if (pendingStartup) {
> DPRINTF(LocalApic, "Generating SIPI fault object.\n");
> return new StartupInterrupt(startupVector);
618a626,628
> } else if (pendingStartup) {
> DPRINTF(LocalApic, "SIPI sent to core.\n");
> pendingStartup = false;
620c630
< if (!(pendingSmi || pendingNmi || pendingInit))
---
> if (!(pendingSmi || pendingNmi || pendingInit || pendingStartup))