Searched refs:mpic_send_ipi (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() function1566 mpic_send_ipi(msg, 0xffffffff); in smp_mpic_message_pass()1569 mpic_send_ipi(msg, 0xffffffff & ~(1 << smp_processor_id())); in smp_mpic_message_pass()1572 mpic_send_ipi(msg, 1 << target); in smp_mpic_message_pass()