diff options
Diffstat (limited to 'src/arch/x86/interrupts.hh')
| -rw-r--r-- | src/arch/x86/interrupts.hh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/arch/x86/interrupts.hh b/src/arch/x86/interrupts.hh index 6ae77d7e3..1f3a414ce 100644 --- a/src/arch/x86/interrupts.hh +++ b/src/arch/x86/interrupts.hh @@ -136,6 +136,9 @@ class Interrupts : public BasicPioDevice, IntDev // This is a quick check whether any of the above (except ExtInt) are set. bool pendingUnmaskableInt; + // A count of how many IPIs are in flight. + int pendingIPIs; + /* * IRR and ISR maintenance. */ |