mps_irq_to_pin 123 kernel/arch/amd64/src/smp/mps.c .irq_to_pin = mps_irq_to_pin mps_irq_to_pin 123 kernel/arch/ia32/src/smp/mps.c .irq_to_pin = mps_irq_to_pin