Implementation of basic System Timer functions. More...
#include <stdint.h>#include <kernel/timer.h>#include <kernel/mmio.h>#include <kernel/printk.h>#include <kernel/led.h>#include <kernel/console.h>#include <kernel/scheduler.h>#include <peripherals/timer.h>
| Functions | |
| void | timer_1_init (uint32_t msec) | 
| void | timer_3_init (uint32_t msec) | 
| void | timer_1_stop () | 
| void | timer_3_stop () | 
| void | handle_timer_1_irq () | 
| void | handle_timer_3_irq () | 
| uint64_t | timer_get_ticks () | 
| void | timer_msleep (uint32_t msec) | 
| Variables | |
| uint32_t | interval_1 | 
| uint32_t | interval_3 | 
| uint32_t | cur_val_1 = 0 | 
| uint32_t | cur_val_3 = 0 | 
Implementation of basic System Timer functions.
| uint32_t cur_val_1 = 0 | 
Current value of System Timer 1.
| uint32_t cur_val_3 = 0 | 
Current value of System Timer 3.
| uint32_t interval_1 | 
Time interval for System Timer 1.
| uint32_t interval_3 | 
Time interval for System Timer 3.