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