Index: kernel/arch/ppc32/src/drivers/cuda.c
===================================================================
--- kernel/arch/ppc32/src/drivers/cuda.c	(revision fb8335c5775e54e9f75a6c9976813528395525ec)
+++ kernel/arch/ppc32/src/drivers/cuda.c	(revision 57ce359ffbe02e57f3174daac33abbe9e660d9dc)
@@ -274,5 +274,9 @@
 void cuda_grab(void)
 {
+	ipl_t ipl = interrupts_disable();
+	spinlock_lock(&cuda_irq.lock);
 	cuda_irq.notif_cfg.notify = false;
+	spinlock_unlock(&cuda_irq.lock);
+	interrupts_restore(ipl);
 }
 
@@ -281,6 +285,10 @@
 void cuda_release(void)
 {
+	ipl_t ipl = interrupts_disable();
+	spinlock_lock(&cuda_irq.lock);
 	if (cuda_irq.notif_cfg.answerbox)
 		cuda_irq.notif_cfg.notify = true;
+	spinlock_unlock(&cuda_irq.unlock);
+	interrupts_restore(ipl);
 }
 
Index: kernel/arch/ppc32/src/drivers/pic.c
===================================================================
--- kernel/arch/ppc32/src/drivers/pic.c	(revision fb8335c5775e54e9f75a6c9976813528395525ec)
+++ kernel/arch/ppc32/src/drivers/pic.c	(revision 57ce359ffbe02e57f3174daac33abbe9e660d9dc)
@@ -46,6 +46,4 @@
 }
 
-
-
 void pic_enable_interrupt(int intnum)
 {