On 20.05.21 13:42, Jan Beulich wrote: > xen_setup_gdt(), via xen_load_gdt_boot(), wants to adjust page tables. > For this to work when NX is not available, x86_configure_nx() needs to > be called first. > > Reported-by: Olaf Hering > Signed-off-by: Jan Beulich Pushed to xen/tip.git for-linus-5.13b Juergen