diff options
| author | Uros Majstorovic <majstor@majstor.org> | 2019-10-18 18:38:00 +0200 |
|---|---|---|
| committer | Uros Majstorovic <majstor@majstor.org> | 2019-10-18 18:38:00 +0200 |
| commit | 85500fe0d01b691a9bdd8c2330d26d66bc2bc177 (patch) | |
| tree | c320c642ebb942d1b3692701d50c4a46e50e49f3 /code/fe310/eos/timer.c | |
| parent | f74dcae328e3650acf6b12499a55548b46117877 (diff) | |
added spi driver
Diffstat (limited to 'code/fe310/eos/timer.c')
| -rw-r--r-- | code/fe310/eos/timer.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/code/fe310/eos/timer.c b/code/fe310/eos/timer.c index 25b7e7e..6589c06 100644 --- a/code/fe310/eos/timer.c +++ b/code/fe310/eos/timer.c @@ -1,5 +1,5 @@ -#include <stddef.h> -#include <stdio.h> +#include <stdlib.h> +#include <stdint.h> #include "encoding.h" #include "platform.h" @@ -88,7 +88,7 @@ void eos_timer_set(uint64_t tick, unsigned char evt, unsigned char b) { int i; uint64_t *mtimecmp = (uint64_t *) (CLINT_CTRL_ADDR + CLINT_MTIMECMP); uint64_t next = 0; - + if (evt && (evt <= EOS_TIMER_MAX_ETYPE)) { evt--; } else if (evt == 0) { |