On Fri, 5 Jan 2018, Jiri Kosina wrote: > That's because pgd_populate() uses _PAGE_TABLE and not _KERNPG_TABLE for > reasons that are behind me.
[ oh and BTW I find the fact that we have populate_pgd() and pgd_populate(), which do something *completely* different quite entertaining ] -- Jiri Kosina SUSE Labs
