page_vma_mkclean_one
*cleaned += page_vma_mkclean_one(&pvmw);
state->cleaned += page_vma_mkclean_one(&pvmw);
return page_vma_mkclean_one(&pvmw);