--- zzzz-none-000/linux-4.4.60/arch/arm/kernel/smp.c	2017-04-08 07:53:53.000000000 +0000
+++ dragonfly-4020-701/linux-4.4.60/arch/arm/kernel/smp.c	2018-11-08 13:36:17.000000000 +0000
@@ -51,6 +51,11 @@
 #define CREATE_TRACE_POINTS
 #include <trace/events/ipi.h>
 
+#if defined(CONFIG_AVM_FASTIRQ)
+// Fuer 'bool avm_trigger_all_cpu_backtrace(struct pt_regs *exception_regs);'
+#include <asm/avm_enh/avm_fiq.h>
+#endif
+
 /*
  * as from 2.5, kernels no longer have an init_tasks structure
  * so we need some other way of telling a new secondary core
@@ -747,6 +752,7 @@
 
 #endif
 
+#if !defined(CONFIG_AVM_FASTIRQ)
 static void raise_nmi(cpumask_t *mask)
 {
 	/*
@@ -760,8 +766,13 @@
 
 	smp_cross_call(mask, IPI_CPU_BACKTRACE);
 }
+#endif
 
 void arch_trigger_all_cpu_backtrace(bool include_self)
 {
-	nmi_trigger_all_cpu_backtrace(include_self, raise_nmi);
+#if defined(CONFIG_AVM_FASTIRQ)
+        (void)avm_trigger_all_cpu_backtrace(NULL, NULL);
+#else
+        nmi_trigger_all_cpu_backtrace(include_self, raise_nmi);
+#endif
 }