check_timer      2340 arch/x86/kernel/io_apic_32.c 	check_timer();
check_timer      2183 arch/x86/kernel/io_apic_64.c 	check_timer();