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

/linux-4.4.14/arch/x86/kernel/
H A Dtime.c69 void __init setup_default_timer_irq(void) setup_default_timer_irq() function
81 setup_default_timer_irq(); hpet_time_init()
/linux-4.4.14/arch/x86/include/asm/
H A Dsetup.h46 extern void setup_default_timer_irq(void); vsmp_init()

Completed in 78 milliseconds