update

[l4.git] / kernel / fiasco / src / kern / ia32 / dirq_pic_pin-ia32-ux.cpp

diff --git a/kernel/fiasco/src/kern/ia32/dirq_pic_pin-ia32-ux.cpp b/kernel/fiasco/src/kern/ia32/dirq_pic_pin-ia32-ux.cpp
index 1b26f2d4529d25559931f783d6dee7ea97e05671..c53ea4e55a6a82a84a5fdfde8b2f76e29ee09e75 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/dirq_pic_pin-ia32-ux.cpp
+++ b/kernel/fiasco/src/kern/ia32/dirq_pic_pin-ia32-ux.cpp
@@ -26,7 +26,7 @@ public:
     unsigned nr_irqs() const { return 16; }
 
     bool valloc(Irq_base *irq, unsigned vector);
-    bool vfree(Irq_base *irq, unsigned vector);
+    static bool vfree(Irq_base *irq, unsigned vector);
     virtual void disable_irq(unsigned vector);
 
   protected: