Changes in kernel/arch/ia64/include/asm.h [8b4cfb9d:d99c1d2] in mainline

File:

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

kernel/arch/ia64/include/asm.h

@@ -38 +38 @@
 #include <config.h>
 #include <typedefs.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <arch/register.h>
 
@@ -428 +428 @@
 }
 
-extern void cpu_halt(void);
+extern void cpu_halt(void) __attribute__((noreturn));
 extern void cpu_sleep(void);
 extern void asm_delay_loop(uint32_t t);