paravirt_send_ipi_single   80 arch/mips/paravirt/paravirt-smp.c 		paravirt_send_ipi_single(cpu, action);
paravirt_send_ipi_single  138 arch/mips/paravirt/paravirt-smp.c 	.send_ipi_single	= paravirt_send_ipi_single,