irq_mbox_ipi       69 arch/mips/paravirt/paravirt-smp.c void irq_mbox_ipi(int cpu, unsigned int actions);
irq_mbox_ipi       72 arch/mips/paravirt/paravirt-smp.c 	irq_mbox_ipi(cpu, action);