Searched refs:lguest_time_irq (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/arch/x86/lguest/
H A Dboot.c1024 static void lguest_time_irq(unsigned int irq, struct irq_desc *desc) lguest_time_irq() function
1044 irq_set_handler(0, lguest_time_irq); lguest_time_init()

Completed in 36 milliseconds