/* At some point in the boot process, we get asked to set up our timing infrastructure. The kernel doesn't expect timer interrupts before this, but we cleverly initialized the "blocked_interrupts" field of "struct
lguest_data" so that timer interrupts were blocked until now.  */
static void lguest_time_init(void)
/* At some point in the boot process, we get asked to set up our timing infrastructure. The kernel doesn't expect timer interrupts before this, but we cleverly initialized the "blocked_interrupts" field of "struct
lguest_data" so that timer interrupts were blocked until now.  */
static void lguest_time_init(void)
{
	set_irq_handler(0, lguest_time_irq);
	clocksource_register(&lguest_clock);
	lguest_clockevent.cpumask = cpumask_of(0);
	clockevents_register_device(&lguest_clockevent);
	enable_lguest_irq(0);
}