diff options
author | Kevin O'Connor <kevin@koconnor.net> | 2017-03-10 20:03:56 -0500 |
---|---|---|
committer | Kevin O'Connor <kevin@koconnor.net> | 2017-03-10 23:24:15 -0500 |
commit | 0a3c23bcf65cba76fc9cad2854504586901ea5e9 (patch) | |
tree | a37b63e734370a77200054c24c58d9a5e7be561e /src/generic/misc.h | |
parent | cb286ede9dc4d944fd532f946f3f6e6a6dc9de61 (diff) | |
download | kutter-0a3c23bcf65cba76fc9cad2854504586901ea5e9.tar.gz kutter-0a3c23bcf65cba76fc9cad2854504586901ea5e9.tar.xz kutter-0a3c23bcf65cba76fc9cad2854504586901ea5e9.zip |
sched: Avoid rescheduling the currently active timer
It's tricky to reschedule the timer irq correctly (due to race
conditions with the irq) and in practice it's very rarely needed.
Handle the special cases in the generic sched.c code so that the board
code doesn't have to handle it.
Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
Diffstat (limited to 'src/generic/misc.h')
-rw-r--r-- | src/generic/misc.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/generic/misc.h b/src/generic/misc.h index ce1c8f02..92d4d145 100644 --- a/src/generic/misc.h +++ b/src/generic/misc.h @@ -12,7 +12,6 @@ void console_push_output(uint8_t len); uint32_t timer_from_us(uint32_t us); void timer_periodic(void); uint32_t timer_read_time(void); -uint8_t timer_set_next(uint32_t next); uint8_t timer_try_set_next(uint32_t next); size_t alloc_maxsize(size_t reqsize); |