Searched refs:ia64_mv_send_ipi_t (Results 1 – 3 of 3) sorted by relevance
4 extern ia64_mv_send_ipi_t ia64_send_ipi;
34 extern ia64_mv_send_ipi_t sn2_send_IPI;
30 typedef void ia64_mv_send_ipi_t (int, int, int, int); typedef169 ia64_mv_send_ipi_t *send_ipi;