[IA64] die_if_kernel() can return
authorTony Luck <tony.luck@intel.com>
Tue, 28 Feb 2006 00:18:58 +0000 (16:18 -0800)
committerTony Luck <tony.luck@intel.com>
Tue, 28 Feb 2006 00:18:58 +0000 (16:18 -0800)
commite963701a761aede31c9c1bfc74cf8e0ec671f0f4
tree6aefa708cc240b0d3d6699fa6beb6169ef191be1
parenteb0911e27e8c6778d6c8ec95b7dd60c002d923c3
[IA64] die_if_kernel() can return

arch/ia64/kernel/unaligned.c erroneously marked die_if_kernel()
with a "noreturn" attribute ... which is silly (it returns whenever
the argument regs say that the fault happened in user mode, as one
might expect given the "if_kernel" part of its name!).  Thanks to
Alan and Gareth for pointing this out.

Signed-off-by: Tony Luck <tony.luck@intel.com>
arch/ia64/kernel/unaligned.c