smp_irq_to_pin 191 kernel/arch/amd64/src/smp/smp.c int smp_irq_to_pin(unsigned int irq) smp_irq_to_pin 191 kernel/arch/ia32/src/smp/smp.c int smp_irq_to_pin(unsigned int irq)