|
ArvernOS
|
#include <stdint.h>Functions | |
| void | bcm2835_timer_init (uintptr_t mmio_base, void(*callback)()) |
| uint64_t | bcm2835_timer_uptime_microseconds () |
| void bcm2835_timer_init | ( | uintptr_t | mmio_base, |
| void(*)() | callback ) |
Initializes the BCM2835 system timer (currently, only the timer 1).
| mmio_base | the MMIO base address to use to get access to the System Timer registers |
| callback | a function that gets called every time the timer fires an interrupt |
| uint64_t bcm2835_timer_uptime_microseconds | ( | ) |
Returns the timer uptime in microseconds.