1*433d6423SLionel Sambuc #ifndef __CLOCK_ARM_H__ 2*433d6423SLionel Sambuc #define __CLOCK_ARM_H__ 3*433d6423SLionel Sambuc 4*433d6423SLionel Sambuc void arch_timer_int_handler(void); 5*433d6423SLionel Sambuc 6*433d6423SLionel Sambuc #endif /* __CLOCK_ARM_H__ */ 7