--- zzzz-none-000/linux-4.1.38/kernel/locking/semaphore.c	2017-01-18 18:48:06.000000000 +0000
+++ bcm63-7582-715/linux-4.1.38/kernel/locking/semaphore.c	2020-11-25 10:06:48.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);