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