On Tue, Aug 01, 2023 at 01:48:52PM +0200, Ard Biesheuvel wrote: > configure_5level_paging()? At least, that conveys to some extent that > nothing will happen unless the hardware supports it to begin with. Yap, and it says what it does exactly. Thx. -- Regards/Gruss, Boris. https://people.kernel.org/tglx/notes-about-netiquette