update

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

diff --git a/kernel/fiasco/src/kern/timer.cpp b/kernel/fiasco/src/kern/timer.cpp
index 02f2a8bf4d90080cff00ddb7b09efd19546f4ac0..abc29d2c814540e3b1b8e86b3d8e146e97ff8d02 100644 (file)
--- a/kernel/fiasco/src/kern/timer.cpp
+++ b/kernel/fiasco/src/kern/timer.cpp
@@ -6,6 +6,7 @@ INTERFACE:
 class Timer
 {
 public:
+  static int irq_line() FIASCO_INIT;
   /**
    * Static constructor for the interval timer.
    *