[PATCH] ARM: dump: Add domain to output

[Kees Cook]

On Wed, Mar 1, 2017 at 11:55 PM, Kees Cook <keescook at chromium.org> wrote:
> This adds the memory domain (on non-LPAE) to the PMD and PTE dumps. This
> isn't in the regular PMD bits because I couldn't find a clean way to
> fall back to retain some of the PMD bits when reporting PTE. So this is
> special-cased currently.

Ugh, please ignore this. Further testing shows this doesn't work
right... I'll keep poking at it.

-Kees

-- 
Kees Cook
Pixel Security