/* Cause the function described by call_data to be executed on the passed cpu. When the function has finished, increment the finished field of call_data.  */
void octeon_send_ipi_single(int cpu, unsigned int action)
/* Cause the function described by call_data to be executed on the passed cpu. When the function has finished, increment the finished field of call_data.  */
void octeon_send_ipi_single(int cpu, unsigned int action)
{
	int coreid = cpu_logical_map(cpu);
	cvmx_write_csr(CVMX_CIU_MBOX_SETX(coreid), action);
}