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 92ba33f17adc56d449e99ba72ea499b189b3a1c1..3e6dbbb22b7894aa38160c7bc317cf0de64dd65b 100644 (file)
--- a/kernel/fiasco/src/kern/timer.cpp
+++ b/kernel/fiasco/src/kern/timer.cpp
@@ -34,6 +34,11 @@ public:
    */
   static void update_timer(Unsigned64 wakeup);
 
+  /**
+   * enable the timer
+   */
+  static void enable();
+
   static void master_cpu(Cpu_number cpu) { _cpu = cpu; }
 
 private:
@@ -44,3 +49,8 @@ private:
 IMPLEMENTATION:
 
 Cpu_number Timer::_cpu;
+
+IMPLEMENT_DEFAULT
+void
+Timer::enable()
+{}