Searched defs:platform_send_ipi (Results 1 – 4 of 4) sorted by relevance
20 #define platform_send_ipi xen_platform_send_ipi macro
78 #define platform_send_ipi sn2_send_IPI macro
127 # define platform_send_ipi ia64_mv.send_ipi macro271 # define platform_send_ipi ia64_send_ipi /* default to architected version */ macro
123 void platform_send_ipi(cpumask_t callmap, int irq) in platform_send_ipi() function