update

[l4.git] / kernel / fiasco / src / kern / cascade_irq.cpp

diff --git a/kernel/fiasco/src/kern/cascade_irq.cpp b/kernel/fiasco/src/kern/cascade_irq.cpp
index 7d8b1cc011ac8156c23358bb4408095fa2716ee8..64a433d5b9a9df126f8fdfb4bc057494bf5306b8 100644 (file)
--- a/kernel/fiasco/src/kern/cascade_irq.cpp
+++ b/kernel/fiasco/src/kern/cascade_irq.cpp
@@ -16,7 +16,7 @@ public:
   }
 
   Irq_chip_icu *child() const { return _child; }
-  void switch_mode(unsigned) {}
+  void switch_mode(bool) {}
 
 private:
   Irq_chip_icu *_child;