timer_irq_works  1856 arch/x86/kernel/io_apic_32.c static int __init timer_irq_works(void)
timer_irq_works  1469 arch/x86/kernel/io_apic_64.c static int __init timer_irq_works(void)