Searched refs:single_cpu_ipi (Results 1 – 1 of 1) sorted by relevance
81 void single_cpu_ipi(int, int, int);212 single_cpu_ipi(int cpu, int vector, int delivery_mode) in single_cpu_ipi() function224 single_cpu_ipi(n, vector, delivery_mode); in selected_cpu_ipi()