pud_set_flags
return pud_set_flags(pud, _PAGE_SPECIAL);
pud = pud_set_flags(pud, _PAGE_DIRTY | _PAGE_SOFT_DIRTY);
return pud_set_flags(pud, _PAGE_PSE);
return pud_set_flags(pud, _PAGE_ACCESSED);
pud = pud_set_flags(pud, _PAGE_RW);
return pud_set_flags(pud, _PAGE_SOFT_DIRTY);