Symbol: ipi_teardown
arch/arm/kernel/smp.c
238
static void ipi_teardown(int cpu)
arch/arm64/kernel/smp.c
1068
static void ipi_teardown(int cpu)