#ifndef __GENERIC_TIMER_IRQ_H
#define __GENERIC_TIMER_IRQ_H

void timer_dispatch_many(void);

#endif // timer_irq.h