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.