pmd_mkwrite_novma
return pmd_mkwrite_novma(pmd);
new = pmd_mkwrite_novma(pmd_mkdirty(new));
pmd = pmd_mkwrite_novma(pmd);
return pmd_mkwrite_novma(pmd);
WARN_ON(!pmd_dirty(pmd_mkwrite_novma(pmd_mkdirty(pmd))));
WARN_ON(pmd_dirty(pmd_mkwrite_novma(pmd_mkclean(pmd))));
WARN_ON(!pmd_write(pmd_mkdirty(pmd_mkwrite_novma(pmd))));
WARN_ON(!pmd_write(pmd_mkwrite_novma(pmd_wrprotect(pmd))));
WARN_ON(pmd_write(pmd_wrprotect(pmd_mkwrite_novma(pmd))));