update

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

diff --git a/kernel/fiasco/src/kern/sparc/timer-decr-sparc.cpp b/kernel/fiasco/src/kern/sparc/timer-decr-sparc.cpp
index 100d229a19c65da65b73c1c2991da5379291bc29..049042f8cd31becf17f9433ff0762dbe36851ef2 100644 (file)
--- a/kernel/fiasco/src/kern/sparc/timer-decr-sparc.cpp
+++ b/kernel/fiasco/src/kern/sparc/timer-decr-sparc.cpp
@@ -1,6 +1,9 @@
 /**
- * PowerPC timer using internal decrementer
+ * Sparc timer
  */
+INTERFACE [sparc]:
+
+#include "irq_chip.h"
 
 IMPLEMENTATION [sparc]:
 
@@ -30,10 +33,10 @@ unsigned
 Timer::irq()
 { return 0; }
 
-PUBLIC static inline
-unsigned
+PUBLIC static inline NEEDS["irq_chip.h"]
+Irq_chip::Mode
 Timer::irq_mode()
-{ return 0; }
+{ return Irq_chip::Mode::F_raising_edge; }
 
 PUBLIC static inline
 void