do_timer.h

/* defines for inline arch setup functions */
#include <linux/clockchips.h>

#include <asm/voyager.h>
#include <asm/i8253.h>

/**
 * do_timer_interrupt_hook - hook into timer tick
 *
 * Call the pit clock event handler. see asm/i8253.h
 **/
static inline void do_timer_interrupt_hook(void)
{
	global_clock_event->event_handler(global_clock_event);
	voyager_timer_interrupt();
}