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.