Index: kernel/arch/mips32/src/drivers/msim.c
===================================================================
--- kernel/arch/mips32/src/drivers/msim.c	(revision 7688b5d81bb7cda5ecfe3b596ada34a7472b02f2)
+++ kernel/arch/mips32/src/drivers/msim.c	(revision 8cee7054021b8feabfbbb8d0e8ed691c0dc8e680)
@@ -121,11 +121,19 @@
 void msim_kbd_grab(void)
 {
+	ipl_t ipl = interrupts_disable();
+	spinlock_lock(&msim_irq.lock);
 	msim_irq.notif_cfg.notify = false;
+	spinlock_unlock(&msim_irq.lock);
+	interrupts_restore(ipl);
 }
 
 void msim_kbd_release(void)
 {
+	ipl_t ipl = interrupts_disable();
+	spinlock_lock(&msim_irq.lock);
 	if (msim_irq.notif_cfg.answerbox)
 		msim_irq.notif_cfg.notify = true;
+	spinlock_unlock(&msim_irq.lock);
+	interrupts_restore(ipl);
 }