timer_irq_works  2201 arch/x86/kernel/apic/io_apic.c 		if (timer_irq_works()) {
timer_irq_works  2224 arch/x86/kernel/apic/io_apic.c 		if (timer_irq_works()) {
timer_irq_works  2244 arch/x86/kernel/apic/io_apic.c 	if (timer_irq_works()) {
timer_irq_works  2262 arch/x86/kernel/apic/io_apic.c 	if (timer_irq_works()) {