Searched refs:ia64_mv_send_ipi_t (Results 1 – 4 of 4) sorted by relevance
7 extern ia64_mv_send_ipi_t xen_platform_send_ipi;
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); typedef171 ia64_mv_send_ipi_t *send_ipi;