l4/pkg/linux-26-headers/include/asm-x86/mach-voyager/do_timer.h

   1 /* defines for inline arch setup functions */
   2 #include <linux/clockchips.h>
   3
   4 #include <asm/voyager.h>
   5 #include <asm/i8253.h>
   6
   7 /**
   8  * do_timer_interrupt_hook - hook into timer tick
   9  *
  10  * Call the pit clock event handler. see asm/i8253.h
  11  **/
  12 static inline void do_timer_interrupt_hook(void)
  13 {
  14         global_clock_event->event_handler(global_clock_event);
  15         voyager_timer_interrupt();
  16 }
  17