2235 			unlock_page(page);  in do_page_mkwrite()
2266 	unlock_page(page);  in fault_dirty_shared_page()
2462 			unlock_page(old_page);  in wp_page_copy()
2550 			unlock_page(vmf->page);  in wp_page_shared()
2620 				unlock_page(vmf->page);  in do_wp_page()
2630 			unlock_page(vmf->page);  in do_wp_page()
2647 			unlock_page(vmf->page);  in do_wp_page()
2651 		unlock_page(vmf->page);  in do_wp_page()
2939 	unlock_page(page);  in do_swap_page()
2949 		unlock_page(swapcache);  in do_swap_page()
2970 	unlock_page(page);  in do_swap_page()
2974 		unlock_page(swapcache);  in do_swap_page()
3134 			unlock_page(vmf->page);  in __do_fault()
3529 	unlock_page(vmf->page);  in do_read_fault()
3563 	unlock_page(vmf->page);  in do_cow_fault()
3588 		unlock_page(vmf->page);  in do_shared_fault()
3600 		unlock_page(vmf->page);  in do_shared_fault()