diff options
Diffstat (limited to 'kernel/inc/timer.h')
| -rw-r--r-- | kernel/inc/timer.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/inc/timer.h b/kernel/inc/timer.h index 5d747d0..0712e37 100644 --- a/kernel/inc/timer.h +++ b/kernel/inc/timer.h @@ -9,7 +9,7 @@ u32 timer_get(void); void timer_wait(u32 ticks); void timer_install(void); -void timer_handler(struct regs *r); +void timer_handler(struct regs *r) NONNULL; void scheduler_enable(void); void scheduler_disable(void); |