477c477,478
< if (pendingUnmaskableInt)
---
> if (pendingUnmaskableInt) {
> DPRINTF(LocalApic, "Reported pending unmaskable interrupt.\n");
478a480
> }
480c482,483
< if (pendingExtInt)
---
> if (pendingExtInt) {
> DPRINTF(LocalApic, "Reported pending external interrupt.\n");
481a485
> }
483c487,488
< bits(regs[APIC_TASK_PRIORITY], 7, 4))
---
> bits(regs[APIC_TASK_PRIORITY], 7, 4)) {
> DPRINTF(LocalApic, "Reported pending regular interrupt.\n");
484a490
> }
496a503
> DPRINTF(LocalApic, "Generated SMI fault object.\n");
498a506
> DPRINTF(LocalApic, "Generated NMI fault object.\n");
500a509
> DPRINTF(LocalApic, "Generated INIT fault object.\n");
507a517
> DPRINTF(LocalApic, "Generated external interrupt fault object.\n");
509a520
> DPRINTF(LocalApic, "Generated regular interrupt fault object.\n");
520a532
> DPRINTF(LocalApic, "SMI sent to core.\n");
522a535
> DPRINTF(LocalApic, "NMI sent to core.\n");
524a538
> DPRINTF(LocalApic, "Init sent to core.\n");
531a546
> DPRINTF(LocalApic, "Interrupt %d sent to core.\n", IRRV);