Changes in kernel/arch/mips32/include/asm.h [d99c1d2:c22e964] in mainline

File:

• kernel/arch/mips32/include/asm.h (modified) (2 diffs)

kernel/arch/mips32/include/asm.h

@@ -36 +36 @@
 #define KERN_mips32_ASM_H_
 
+#include <arch/types.h>
 #include <typedefs.h>
 #include <config.h>
@@ -65 +66 @@
 }
 
-extern void cpu_halt(void) __attribute__((noreturn));
+extern void cpu_halt(void);
 extern void asm_delay_loop(uint32_t t);
 extern void userspace_asm(uintptr_t ustack, uintptr_t uspace_uarg,