Re: [PATCHv6 04/10] x86/boot/64: Rename init_level4_pgt and early_level4_pgt

From: Juergen Gross
Date: Wed May 24 2017 - 06:05:31 EST


On 24/05/17 11:54, Kirill A. Shutemov wrote:
> With CONFIG_X86_5LEVEL=y, level 4 is no longer top level of page tables.
>
> Let's give these variable more generic names: init_top_pgt and
> early_top_pgt.
>
> Signed-off-by: Kirill A. Shutemov <kirill.shutemov@xxxxxxxxxxxxxxx>

Xen parts: Reviewed-by: Juergen Gross <jgross@xxxxxxxx>


Juergen