Re: [tip:x86/pti] x86/kaslr: Fix the vaddr_end mess

[Benjamin Gilbert]

On Thu, Jan 04, 2018 at 02:10:44PM -0800, tip-bot for Thomas Gleixner wrote:
> +     BUILD_BUG_ON)(vaddr_end != CPU_ENTRY_AREA_BASE);
                    ^^

Note typo.

--Benjamin Gilbert