minix/kernel/arch/arm/include/arch_clock.h
2012-10-07 21:38:03 -04:00

6 lines
114 B
C

#ifndef __CLOCK_ARM_H__
#define __CLOCK_ARM_H__
void arch_timer_int_handler(void);
#endif /* __CLOCK_ARM_H__ */