Karg
v0.2.0
The kernel of CargOS
|
#include <timer.h>
#include <arch/riscv/csr.h>
#include <arch/riscv/sbi.h>
#include <errno.h>
#include <module/init.h>
#include <module/log.h>
#include <module/module.h>
Functions | |
MODULE_NAME ("timer") | |
module_pre_init (init) | |
void | timer_set (time_t wait_time) |
MODULE_NAME | ( | "timer" | ) |
module_pre_init | ( | init | ) |
void timer_set | ( | time_t | wait_time | ) |