summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2019-11-12 00:00:39 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2019-11-12 00:00:39 +0100
commit3bfd5a8b7a1f5676c79076356f09233613da4294 (patch)
tree3dc676444530e46ab10f80fcad8b966a75372ae2
parent113426dd10720251a2fd432846db25e25ede5aab (diff)
parent5e81b66090eea01dca56b8167bfb0752cc115a2a (diff)
Merge branch 'master-user_level_drivers' into master-user_level_drivers-debian
-rw-r--r--linux/src/include/asm-i386/irq.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/linux/src/include/asm-i386/irq.h b/linux/src/include/asm-i386/irq.h
index c75744a5..d7d1e3c5 100644
--- a/linux/src/include/asm-i386/irq.h
+++ b/linux/src/include/asm-i386/irq.h
@@ -16,6 +16,8 @@
#define TIMER_IRQ 0
+extern void __disable_irq(unsigned int);
+extern void __enable_irq(unsigned int);
extern void disable_irq(unsigned int);
extern void enable_irq(unsigned int);