diff options
| author | Christophe Leroy <christophe.leroy@c-s.fr> | 2018-12-14 15:23:33 +0000 |
|---|---|---|
| committer | Michael Ellerman <mpe@ellerman.id.au> | 2018-12-20 22:21:20 +1100 |
| commit | 49a502ea23bf9dec47f8f3c3960909ff409cd1bb (patch) | |
| tree | 40fafec29c2ab96304aa9bf666d099e0bc66bd70 /scripts/gdb/linux/utils.py | |
| parent | 8dbdec0bcb416d0ef0bfd737620d08f5160ac290 (diff) | |
powerpc/mm: Make NULL pointer deferences explicit on bad page faults.
As several other arches including x86, this patch makes it explicit
that a bad page fault is a NULL pointer dereference when the fault
address is lower than PAGE_SIZE
In the mean time, this page makes all bad_page_fault() messages
shorter so that they remain on one single line. And it prefixes them
by "BUG: " so that they get easily grepped.
Signed-off-by: Christophe Leroy <christophe.leroy@c-s.fr>
[mpe: Avoid pr_cont()]
Signed-off-by: Michael Ellerman <mpe@ellerman.id.au>
Diffstat (limited to 'scripts/gdb/linux/utils.py')
0 files changed, 0 insertions, 0 deletions
