diff options
Diffstat (limited to 'src/generic/timer_irq.h')
| -rw-r--r-- | src/generic/timer_irq.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/generic/timer_irq.h b/src/generic/timer_irq.h new file mode 100644 index 00000000..0421c98c --- /dev/null +++ b/src/generic/timer_irq.h @@ -0,0 +1,6 @@ +#ifndef __GENERIC_TIMER_IRQ_H +#define __GENERIC_TIMER_IRQ_H + +void timer_dispatch_many(void); + +#endif // timer_irq.h |