diff options
| author | Will Deacon <[email protected]> | 2018-09-05 15:12:27 +0100 |
|---|---|---|
| committer | Catalin Marinas <[email protected]> | 2018-09-10 16:15:23 +0100 |
| commit | 4733c7c79e8c466fedb4fd4eb29bfc5b1bdb336f (patch) | |
| tree | 822ccbd3e08aa39933ec8352a65049ee831d5091 /tools/perf/scripts/python/stat-cpi.py | |
| parent | 7481cddf29ede204b475facc40e6f65459939881 (diff) | |
arm64: dump: Use consistent capitalisation for page-table dumps
Being consistent in our capitalisation for page-table dumps helps when
grepping for things like "end".
Signed-off-by: Will Deacon <[email protected]>
Signed-off-by: Catalin Marinas <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/stat-cpi.py')
0 files changed, 0 insertions, 0 deletions