1 #ifndef __CLOCK_X86_H__
2 #define __CLOCK_X86_H__
3 
4 #include "../apic_asm.h"
5 
6 int init_8253A_timer(unsigned freq);
7 void stop_8253A_timer(void);
8 void arch_timer_int_handler(void);
9 
10 #endif /* __CLOCK_X86_H__ */
11