Index: kernel/arch/mips32/include/asm.h
===================================================================
--- kernel/arch/mips32/include/asm.h	(revision d7e3f1ade9ff58d20053f91aafb424534a868c2e)
+++ kernel/arch/mips32/include/asm.h	(revision 9a5b556abb26634c82cbd3954b0fdb4db62b828e)
@@ -67,4 +67,9 @@
 			  uintptr_t entry);
 
+extern ipl_t interrupts_disable(void);
+extern ipl_t interrupts_enable(void);
+extern void interrupts_restore(ipl_t ipl);
+extern ipl_t interrupts_read(void);
+
 #endif
 
Index: kernel/arch/mips32/src/interrupt.c
===================================================================
--- kernel/arch/mips32/src/interrupt.c	(revision d7e3f1ade9ff58d20053f91aafb424534a868c2e)
+++ kernel/arch/mips32/src/interrupt.c	(revision 9a5b556abb26634c82cbd3954b0fdb4db62b828e)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32interrupt
+/** @addtogroup mips32interrupt
  * @{
  */
@@ -142,5 +142,5 @@
 }
 
- /** @}
+/** @}
  */