Inital import

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

diff --git a/kernel/fiasco/src/kern/timer.cpp b/kernel/fiasco/src/kern/timer.cpp
new file mode 100644 (file)
index 0000000..02f2a8b
--- /dev/null
+++ b/kernel/fiasco/src/kern/timer.cpp
@@ -0,0 +1,65 @@
+INTERFACE:
+
+#include "initcalls.h"
+#include "l4_types.h"
+
+class Timer
+{
+public:
+  /**
+   * Static constructor for the interval timer.
+   *
+   * The implementation is platform specific. Two x86 implementations
+   * are timer-pit and timer-rtc.
+   */
+  static void init() FIASCO_INIT_CPU;
+
+  /**
+   * Acknowledges a timer IRQ.
+   *
+   * The implementation is platform specific.
+   */
+  static void acknowledge();
+
+  /**
+   * Enables the intervall timer IRQ.
+   *
+   * The implementation is platform specific.
+   */
+  static void enable();
+
+  /**
+   * Disabled the timer IRQ.
+   */
+  static void disable();
+
+  /**
+   * Initialize the system clock.
+   */
+  static void init_system_clock();
+
+  /**
+   * Advances the system clock.
+   */
+  static void update_system_clock();
+
+  /**
+   * Get the current system clock.
+   */
+  static Unsigned64 system_clock();
+
+  /**
+   * reprogram the one-shot timer to the next event.
+   */
+  static void update_timer(Unsigned64 wakeup);
+
+  static void master_cpu(unsigned cpu) { _cpu = cpu; }
+
+private:
+  static unsigned _cpu;
+};
+
+
+IMPLEMENTATION:
+
+unsigned Timer::_cpu;