#ifndef __TIMERS_ELCORE_HEADER
#define __TIMERS_ELCORE_HEADER

extern int timer_interrupt(struct except_registers*);

#endif