page_mapped
page_mapped(page));
if (page_cnt == 1 && page_mapped(page)) /* mapped by some user process */
if (page_mapped(vmf->page))