Symbol: send_ipi_dest
arch/x86/kernel/apic/x2apic_savic.c
155
send_ipi_dest(cpu, vector, nmi);
arch/x86/kernel/apic/x2apic_savic.c
190
send_ipi_dest(icr_high, vector, nmi);