--- zzzz-none-000/linux-4.4.60/kernel/locking/semaphore.c	2017-04-08 07:53:53.000000000 +0000
+++ dragonfly-4020-701/linux-4.4.60/kernel/locking/semaphore.c	2018-11-08 13:36:17.000000000 +0000
@@ -32,6 +32,9 @@
 #include <linux/semaphore.h>
 #include <linux/spinlock.h>
 #include <linux/ftrace.h>
+#if defined(CONFIG_AVM_FASTIRQ)
+#include  <asm/avm_enh/avm_fiq_os.h>
+#endif/*--- #if defined(CONFIG_AVM_FASTIRQ) ---*/
 
 static noinline void __down(struct semaphore *sem);
 static noinline int __down_interruptible(struct semaphore *sem);