#ifndef __CLOCK_ARM_H__
#define __CLOCK_ARM_H__

void arch_timer_int_handler(void);

#endif /* __CLOCK_ARM_H__ */