taglinefilesource code
put_page777mm/memory.cput_page(page_table, BAD_PAGE);
put_page780mm/memory.cput_page(page_table, pte_mkwrite(mk_pte(tmp, vma->vm_page_prot)));
put_page1030mm/memory.cput_page(page_table, BAD_PAGE);
put_page1061mm/memory.cput_page(page_table, entry);