Symbol: default_send_IPI_single
arch/x86/kernel/apic/local.h
64
void default_send_IPI_single(int cpu, int vector);
arch/x86/kernel/apic/probe_32.c
54
.send_IPI = default_send_IPI_single,