pgd_populate_kernel
pgd_populate_kernel(addr, pgd,
pgd_populate_kernel(addr, pgd, p4d);
pgd_populate_kernel(addr, pgd, p);