--- zzzz-none-000/linux-4.4.60/arch/arm64/include/asm/smp.h	2017-04-08 07:53:53.000000000 +0000
+++ dragonfly-4020-701/linux-4.4.60/arch/arm64/include/asm/smp.h	2018-11-08 13:36:17.000000000 +0000
@@ -63,6 +63,7 @@
 
 extern void arch_send_call_function_single_ipi(int cpu);
 extern void arch_send_call_function_ipi_mask(const struct cpumask *mask);
+extern void arch_send_wakeup_ipi_mask(const struct cpumask *mask);
 
 extern int __cpu_disable(void);