P4D_TYPE_TABLE
p4dval_t p4dval = P4D_TYPE_TABLE | P4D_TABLE_AF;
P4D_TYPE_TABLE))
P4D_TYPE_TABLE | P4D_TABLE_AF);
__p4d_populate(p4dp, pud_phys, P4D_TYPE_TABLE);
p4dval_t p4dval = P4D_TYPE_TABLE | P4D_TABLE_UXN | P4D_TABLE_AF;