summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2019-11-12 00:00:34 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2019-11-12 00:00:34 +0100
commit5e81b66090eea01dca56b8167bfb0752cc115a2a (patch)
treea6a3202a176a26ea42b05c3c8cf8b728961b5e37
parent1b6bcaedcfdbed64f7d4c32861100a92976c0828 (diff)
parent097f9cf735ffa1212b828682ad92f0f6c5f1c552 (diff)
Merge branch 'master' into master-user_level_drivers
-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);