| commit | 4733c7c79e8c466fedb4fd4eb29bfc5b1bdb336f | [log] [tgz] |
|---|---|---|
| author | Will Deacon <will.deacon@arm.com> | Wed Sep 05 15:12:27 2018 +0100 |
| committer | Catalin Marinas <catalin.marinas@arm.com> | Mon Sep 10 16:15:23 2018 +0100 |
| tree | 822ccbd3e08aa39933ec8352a65049ee831d5091 | |
| 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 <will.deacon@arm.com> Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>