Searched refs:ia64_send_ipi (Results 1 – 4 of 4) sorted by relevance
4 extern ia64_mv_send_ipi_t ia64_send_ipi;
125 extern void ia64_send_ipi (int cpu, int vector, int delivery_mode, int redirect);
269 # define platform_send_ipi ia64_send_ipi /* default to architected version */
654 ia64_send_ipi (int cpu, int vector, int delivery_mode, int redirect) in ia64_send_ipi() function