tree 28f75e9810e1698b0aa4aab17deaa909ab1daa35
parent 66a91e9c0ab62ea938afaba7352741d8c554a589
author Michael Ellerman <michael@ellerman.id.au> 1162941779 +1100
committer Paul Mackerras <paulus@samba.org> 1163389736 +1100

[PATCH] Do a single one-line printk in bad_page_fault()

bad_page_fault() prints a message telling the user what type of bad
fault we took. The first line of this message is currently implemented
as two separate printks. This has the unfortunate effect that if
several cpus simultaneously take a bad fault, the first and second parts
of the printk get jumbled up, which looks dodge and is hard to read.

So do a single one-line printk for each fault type.

Signed-off-by: Michael Ellerman <michael@ellerman.id.au>
Signed-off-by: Paul Mackerras <paulus@samba.org>