P4D_MASKED_BITS
return (pud_t *)__va(p4d_val(p4d) & ~P4D_MASKED_BITS);
return (pud_t *) (p4d_val(p4d) & ~P4D_MASKED_BITS);