xref: /minix3/minix/kernel/arch/earm/include/arch_clock.h (revision 433d6423c39e34ec4b79c950597bb2d236f886be) 
1 #ifndef __CLOCK_ARM_H__
2 #define __CLOCK_ARM_H__
3 
4 void arch_timer_int_handler(void);
5 
6 #endif /* __CLOCK_ARM_H__ */
7