Searched refs:arch_send_call_function_single_ipi (Results 1 – 25 of 72) sorted by relevance
123
20 extern void arch_send_call_function_single_ipi(int cpu);
18 void arch_send_call_function_single_ipi(int cpu);
25 extern void arch_send_call_function_single_ipi(int cpu);
32 extern void arch_send_call_function_single_ipi(int cpu);
24 void arch_send_call_function_single_ipi(int cpu);
48 extern void arch_send_call_function_single_ipi(int cpu);
40 void arch_send_call_function_single_ipi(int cpu);
23 extern void arch_send_call_function_single_ipi(int cpu);
24 extern void arch_send_call_function_single_ipi(int cpu);
38 void arch_send_call_function_single_ipi(int cpu);
43 void arch_send_call_function_single_ipi(int cpu);
90 extern void arch_send_call_function_single_ipi(int cpu);
94 extern void arch_send_call_function_single_ipi(int cpu);
82 static inline void arch_send_call_function_single_ipi(int cpu) in arch_send_call_function_single_ipi() function