kernel/clock.h

   1 #ifndef __CLOCK_H__
   2 #define __CLOCK_H__
   3
   4 #include "kernel.h"
   5 #include "arch_clock.h"
   6
   7 _PROTOTYPE(int boot_cpu_init_timer, (unsigned freq));
   8
   9 _PROTOTYPE(int bsp_timer_int_handler, (void));
  10 _PROTOTYPE(int ap_timer_int_handler, (void));
  11
  12 _PROTOTYPE(int arch_init_local_timer, (unsigned freq));
  13 _PROTOTYPE(void arch_stop_local_timer, (void));
  14 _PROTOTYPE(int arch_register_local_timer_handler, (irq_handler_t handler));
  15
  16 #endif /* __CLOCK_H__ */