update

[l4.git] / kernel / fiasco / src / kern / ia32 / irq_chip_ia32.cpp

diff --git a/kernel/fiasco/src/kern/ia32/irq_chip_ia32.cpp b/kernel/fiasco/src/kern/ia32/irq_chip_ia32.cpp
index a28a9b592c6a2c28d51a1062a60479542a7a2795..70758d4f961fac9de55d6ce3b918dbc13f1dad5d 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/irq_chip_ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/irq_chip_ia32.cpp
@@ -65,7 +65,10 @@ public:
   { return !_d.push; }
 
   void free()
-  { _d.push = 0; }
+  {
+    _d.push = 0;
+    _d.irq_adr = 0;
+  }
 
   unsigned char vector() const
   { return _d.vector; }