disable interrupts when holding kernel lock

1 files changed, 1 insertions, 0 deletions

diff --git a/defs.h b/defs.h
index 27cac3d..e627a4c 100644
--- a/defs.h
+++ b/defs.h
@@ -41,6 +41,7 @@ void lapic_init(int);
 void lapic_timerinit(void);
 void lapic_timerintr(void);
 void lapic_enableintr(void);
+void lapic_disableintr(void);
 
 // spinlock.c
 extern uint32_t kernel_lock;