On 09/10/2016 11:30 AM, Nicolas Iooss wrote:
> When commit c0b17b5bd4b7 ("x86/mm/pkeys: Dump PKRU with other kernel
> registers") made __show_regs() show PKRU, this register was only printed
> if the debug registers were not in their default state (there is an
> if(...) return; before).
>
> Change the logic to report PKRU value even when debug registers are in
> their default state.Ahh, thanks for finding this. This looks like the correct fix to me. Acked-by: Dave Hansen <[email protected]>

