Searched refs:sn2_send_IPI (Results 1 – 2 of 2) sorted by relevance
34 extern ia64_mv_send_ipi_t sn2_send_IPI;78 #define platform_send_ipi sn2_send_IPI
417 void sn2_send_IPI(int cpuid, int vector, int delivery_mode, int redirect) in sn2_send_IPI() function