Searched refs:i386_cpu_IPI (Results 1 – 2 of 2) sorted by relevance
39 void i386_cpu_IPI(int cpu);94 i386_cpu_IPI(cpu); in i386_send_NMI()114 i386_cpu_IPI(int cpu) in i386_cpu_IPI() function
111 void i386_cpu_IPI(int cpu);682 i386_cpu_IPI(cpu); in cpu_interrupt()782 i386_cpu_IPI(cpu); in i386_signal_cpu()