185 	void __user *page_addr;  in binder_update_page_range()  local
204 	for (page_addr = start; page_addr < end; page_addr += PAGE_SIZE) {  in binder_update_page_range()
205 		page = &alloc->pages[(page_addr - alloc->buffer) / PAGE_SIZE];  in binder_update_page_range()
227 	for (page_addr = start; page_addr < end; page_addr += PAGE_SIZE) {  in binder_update_page_range()
232 		index = (page_addr - alloc->buffer) / PAGE_SIZE;  in binder_update_page_range()
254 				alloc->pid, page_addr);  in binder_update_page_range()
260 		user_page_addr = (uintptr_t)page_addr;  in binder_update_page_range()
280 	for (page_addr = end - PAGE_SIZE; 1; page_addr -= PAGE_SIZE) {  in binder_update_page_range()
284 		index = (page_addr - alloc->buffer) / PAGE_SIZE;  in binder_update_page_range()
293 		if (page_addr == start)  in binder_update_page_range()
302 		if (page_addr == start)  in binder_update_page_range()
853 			void __user *page_addr;  in binder_alloc_deferred_release()  local
861 			page_addr = alloc->buffer + i * PAGE_SIZE;  in binder_alloc_deferred_release()
864 				     __func__, alloc->pid, i, page_addr,  in binder_alloc_deferred_release()
997 	uintptr_t page_addr;  in binder_alloc_free_page()  local
1009 	page_addr = (uintptr_t)alloc->buffer + index * PAGE_SIZE;  in binder_alloc_free_page()
1024 		zap_page_range(vma, page_addr, PAGE_SIZE);  in binder_alloc_free_page()