Barrelfish
|
x86 legacy timer driver (PIT). More...
Functions | |
void | pit_timer0_set (uint16_t count, bool periodic, bool only_lsb) |
Set hardware timer mode and count value. More... | |
uint16_t | pit_timer0_read (void) |
Read current value of timer. More... | |
x86 legacy timer driver (PIT).
uint16_t pit_timer0_read | ( | void | ) |
Read current value of timer.
void pit_timer0_set | ( | uint16_t | count, |
bool | periodic, | ||
bool | only_lsb | ||
) |
Set hardware timer mode and count value.
Sets timer 0 as either a rate generator (mode 2) or one-shot timer (mode 0) and sets its value. This function currently does not deal with any other timers.
count | Count for oneshot timer, rate for ticker |
periodic | True for a periodic timer, false for oneshot |