Searched refs:ipi_no (Results 1 – 2 of 2) sorted by relevance
457 extern void mpic_send_ipi(unsigned int ipi_no, unsigned int cpu_mask);
1474 void mpic_send_ipi(unsigned int ipi_no, unsigned int cpu_mask) in mpic_send_ipi() argument1481 DBG("%s: send_ipi(ipi_no: %d)\n", mpic->name, ipi_no); in mpic_send_ipi()1485 ipi_no * MPIC_INFO(CPU_IPI_DISPATCH_STRIDE), in mpic_send_ipi()