Searched defs:ia64_send_ipi (Results 1 – 2 of 2) sorted by relevance
629 ia64_send_ipi (int cpu, int vector, int delivery_mode, int redirect) in ia64_send_ipi() function