#include <linux/clocksource.h>
#include <linux/clockchips.h>
#include <linux/interrupt.h>
#include <linux/irq.h>
#include <linux/i8253.h>
#include <linux/time.h>
#include <linux/export.h>
#include <asm/vsyscall.h>
#include <asm/x86_init.h>
#include <asm/i8259.h>
#include <asm/timer.h>
#include <asm/hpet.h>
#include <asm/time.h>
unsigned long profile_pc(struct pt_regs *regs)
{ … }
EXPORT_SYMBOL(…);
static irqreturn_t timer_interrupt(int irq, void *dev_id)
{ … }
static void __init setup_default_timer_irq(void)
{ … }
void __init hpet_time_init(void)
{ … }
static __init void x86_late_time_init(void)
{ … }
void __init time_init(void)
{ … }
void clocksource_arch_init(struct clocksource *cs)
{ … }