end_page_addr     354 drivers/android/binder_alloc.c 	void __user *end_page_addr;
end_page_addr     455 drivers/android/binder_alloc.c 	end_page_addr =
end_page_addr     457 drivers/android/binder_alloc.c 	if (end_page_addr > has_page_addr)
end_page_addr     458 drivers/android/binder_alloc.c 		end_page_addr = has_page_addr;
end_page_addr     460 drivers/android/binder_alloc.c 		PAGE_ALIGN((uintptr_t)buffer->user_data), end_page_addr);
end_page_addr     501 drivers/android/binder_alloc.c 				 end_page_addr);