Symbol: arch_send_wakeup_ipi
arch/arm64/include/asm/smp.h
103
extern void arch_send_wakeup_ipi(unsigned int cpu);
arch/arm64/kernel/acpi_parking_protocol.c
106
arch_send_wakeup_ipi(cpu);