diff options
author | Christophe Leroy <[email protected]> | 2017-04-14 07:45:16 +0200 |
---|---|---|
committer | Michael Ellerman <[email protected]> | 2017-04-27 22:20:27 +1000 |
commit | fd893fe56a1307d348fe5c077eb9b654288ce0c5 (patch) | |
tree | 6c2f204a6203864550dce7f2fd6be8565a6a0f00 /tools/perf/scripts/python/export-to-postgresql.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 <[email protected]>
Signed-off-by: Michael Ellerman <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions