Symbol: arm64_send_ipi
arch/arm64/kernel/smp.c
1028
arm64_send_ipi(target, ipinr);
arch/arm64/kernel/smp.c
925
arm64_send_ipi(mask, IPI_CPU_BACKTRACE);