From be6055e0f2fc55de9c4fd08815cdb50e3c4af78d Mon Sep 17 00:00:00 2001
From: Gabe Black <gblack@eecs.umich.edu>
Date: Sun, 12 Oct 2008 23:27:08 -0700
Subject: X86: Make auto eoi mode work in the I8259 PIC.

---
 src/dev/x86/i8259.hh | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/dev/x86/i8259.hh')

diff --git a/src/dev/x86/i8259.hh b/src/dev/x86/i8259.hh
index 6f6d3f038..5a2cf72e8 100644
--- a/src/dev/x86/i8259.hh
+++ b/src/dev/x86/i8259.hh
@@ -73,6 +73,9 @@ class I8259 : public BasicPioDevice, public IntDev
     bool expectICW4;
     int initControlWord;
 
+    // Whether or not the PIC is in auto EOI mode.
+    bool autoEOI;
+
     void requestInterrupt(int line);
     void handleEOI(int line);
 
-- 
cgit v1.2.3