#include <timer.h>
Static Public Member Functions | |
static void | init () FIASCO_INIT |
Static constructor for the interval timer. | |
static void | acknowledge () |
Acknowledges a timer IRQ. | |
static void | enable () |
Enables the intervall timer IRQ. | |
static void | disable () |
Disabled the timer IRQ. | |
static void | init_system_clock () |
Initialize the system clock. | |
static void | update_system_clock () |
Advances the system clock. | |
static Unsigned64 | system_clock () |
Get the current system clock. | |
static void | update_timer (Unsigned64 wakeup) |
reprogram the one-shot timer to the next event. |
|
Acknowledges a timer IRQ. The implementation is platform specific. |
|
Disabled the timer IRQ.
|
|
Enables the intervall timer IRQ. The implementation is platform specific. |
|
Static constructor for the interval timer. The implementation is platform specific. Two x86 implementations are timer-pit and timer-rtc. |
|
Initialize the system clock.
|
|
Get the current system clock.
|
|
Advances the system clock.
|
|
reprogram the one-shot timer to the next event.
|