setup_timer_IRQ0_pin 1316 arch/x86/kernel/io_apic_32.c static void __init setup_timer_IRQ0_pin(unsigned int apic, unsigned int pin,
setup_timer_IRQ0_pin 1086 arch/x86/kernel/io_apic_64.c static void __init setup_timer_IRQ0_pin(unsigned int apic, unsigned int pin,