184 	void __user *page_addr;  in binder_update_page_range()  local
203 	for (page_addr = start; page_addr < end; page_addr += PAGE_SIZE) {  in binder_update_page_range()
204 		page = &alloc->pages[(page_addr - alloc->buffer) / PAGE_SIZE];  in binder_update_page_range()
226 	for (page_addr = start; page_addr < end; page_addr += PAGE_SIZE) {  in binder_update_page_range()
231 		index = (page_addr - alloc->buffer) / PAGE_SIZE;  in binder_update_page_range()
253 				alloc->pid, page_addr);  in binder_update_page_range()
259 		user_page_addr = (uintptr_t)page_addr;  in binder_update_page_range()
280 	for (page_addr = end - PAGE_SIZE; page_addr >= start;  in binder_update_page_range()
281 	     page_addr -= PAGE_SIZE) {  in binder_update_page_range()
285 		index = (page_addr - alloc->buffer) / PAGE_SIZE;  in binder_update_page_range()
772 			void __user *page_addr;  in binder_alloc_deferred_release()  local
780 			page_addr = alloc->buffer + i * PAGE_SIZE;  in binder_alloc_deferred_release()
783 				     __func__, alloc->pid, i, page_addr,  in binder_alloc_deferred_release()
910 	uintptr_t page_addr;  in binder_alloc_free_page()  local
922 	page_addr = (uintptr_t)alloc->buffer + index * PAGE_SIZE;  in binder_alloc_free_page()
937 		zap_page_range(vma, page_addr, PAGE_SIZE);  in binder_alloc_free_page()