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.