taglinefilesource code
smp_reschedule_irq1055arch/i386/kernel/smp.cvoid smp_reschedule_irq(int cpl, struct pt_regs *regs)
smp_reschedule_irq138arch/sparc/kernel/smp.cvoid smp_reschedule_irq(int cpl, struct pt_regs *regs)