#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.
|
1.4.2