On Thu, Nov 11, 2021 at 06:18:17PM +0000, Catalin Marinas wrote: > BTW, in line with PAGE_KERNEL, pud_populate() could set both UXN and PXN > for init_mm mappings. Ignore this, I got confused. The UXN/PXN choice is correct as it is. -- Catalin