diff options
| author | Christophe Leroy <christophe.leroy@c-s.fr> | 2017-04-14 07:45:16 +0200 |
|---|---|---|
| committer | Michael Ellerman <mpe@ellerman.id.au> | 2017-04-27 22:20:27 +1000 |
| commit | fd893fe56a1307d348fe5c077eb9b654288ce0c5 (patch) | |
| tree | 6c2f204a6203864550dce7f2fd6be8565a6a0f00 /tools/perf/scripts/python/check-perf-trace.py | |
| parent | 6c01bbd2cf8cbc1906818b402b10bca2283c4e7e (diff) | |
powerpc/mm: Fix missing page attributes in page table dump
On some targets, _PAGE_RW is 0 and this is _PAGE_RO which is used.
There is also _PAGE_SHARED that is missing.
Signed-off-by: Christophe Leroy <christophe.leroy@c-s.fr>
Signed-off-by: Michael Ellerman <mpe@ellerman.id.au>
Diffstat (limited to 'tools/perf/scripts/python/check-perf-trace.py')
0 files changed, 0 insertions, 0 deletions