Index: kernel/arch/mips32/include/asm.h
===================================================================
--- kernel/arch/mips32/include/asm.h	(revision 4872160f9c176d257f1757469d1adec8033d95f9)
+++ kernel/arch/mips32/include/asm.h	(revision 7de7cdecfd35be40f3afd79cf10c784b47fad3e9)
@@ -74,5 +74,5 @@
 extern void interrupts_restore(ipl_t ipl);
 extern ipl_t interrupts_read(void);
-extern void asm_delay_loop(uint32_t t);
+extern bool interrupts_disabled(void);
 
 static inline void pio_write_8(ioport8_t *port, uint8_t v)