update

[l4.git] / kernel / fiasco / src / kern / arm / bsp / tegra2 / timer-arm-tegra2.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/tegra2/timer-arm-tegra2.cpp b/kernel/fiasco/src/kern/arm/bsp/tegra2/timer-arm-tegra2.cpp
index 37a6092474eb35130bc0a7389bc120718e23d2cb..83304b5d1c7a3c6e1e5f7f5f5ef952b7a52c86c7 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/tegra2/timer-arm-tegra2.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/tegra2/timer-arm-tegra2.cpp
@@ -1,20 +1,12 @@
 // --------------------------------------------------------------------------
 INTERFACE [arm && tegra2 && mptimer]:
 
-#include "irq_chip.h"
-#include "irq_pin.h"
-
 EXTENSION class Timer
 {
 private:
-  static Irq_base *irq;
   enum
   {
     Interval = 249999,
   };
 };
 
-// -----------------------------------------------------------------------
-IMPLEMENTATION [arm && tegra2]:
-
-Irq_base *Timer::irq;