Changes in kernel/arch/mips32/include/asm.h [c22e964:d99c1d2] 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>
@@ -66 +65 @@
 }
 
-extern void cpu_halt(void);
+extern void cpu_halt(void) __attribute__((noreturn));
 extern void asm_delay_loop(uint32_t t);
 extern void userspace_asm(uintptr_t ustack, uintptr_t uspace_uarg,