]> asedeno.scripts.mit.edu Git - linux.git/commit
projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7481cdd) | patch
arm64: dump: Use consistent capitalisation for page-table dumps
authorWill Deacon <will.deacon@arm.com>
Wed, 5 Sep 2018 14:12:27 +0000 (15:12 +0100)
committerCatalin Marinas <catalin.marinas@arm.com>
Mon, 10 Sep 2018 15:15:23 +0000 (16:15 +0100)
commit4733c7c79e8c466fedb4fd4eb29bfc5b1bdb336f
tree822ccbd3e08aa39933ec8352a65049ee831d5091tree | snapshot
parent7481cddf29ede204b475facc40e6f65459939881commit | 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>
arch/arm64/mm/dump.c diff | blob | history
local clone of linux.git