tree 6aefa708cc240b0d3d6699fa6beb6169ef191be1
parent eb0911e27e8c6778d6c8ec95b7dd60c002d923c3
author Tony Luck <tony.luck@intel.com> 1141085938 -0800
committer Tony Luck <tony.luck@intel.com> 1141085938 -0800

[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>