On 11/04/19 20:01, Nadav Amit wrote: > Untested, but clearly bit 12 is the one that needs to be tested. > > Cc: Sean Christopherson <sean.j.christopherson@xxxxxxxxx> > Signed-off-by: Nadav Amit <nadav.amit@xxxxxxxxx> > --- > x86/cstart64.S | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/x86/cstart64.S b/x86/cstart64.S > index 21db10f..cccfcea 100644 > --- a/x86/cstart64.S > +++ b/x86/cstart64.S > @@ -243,7 +243,7 @@ start64: > setup_5level_page_table: > /* Check if 5-level paging has already enabled */ > mov %cr4, %rax > - test $12, %eax > + test $0x1000, %eax > jnz lvl5 > > pushq $32 > Applied, thanks. Paolo