|
@@ -87,8 +87,8 @@ const char *trap_name(int trapno)
|
|
|
|
|
|
static DEFINE_SPINLOCK(die_lock);
|
|
|
|
|
|
-void die(const char *str, struct pt_regs *regs, long err,
|
|
|
- unsigned long addr)
|
|
|
+void __noreturn die(const char *str, struct pt_regs *regs,
|
|
|
+ long err, unsigned long addr)
|
|
|
{
|
|
|
static int die_counter;
|
|
|
|