setup_APIC_timer  386 arch/x86/kernel/apic_32.c static void __devinit setup_APIC_timer(void)
setup_APIC_timer  398 arch/x86/kernel/apic_64.c static void setup_APIC_timer(void)