525 						  uintptr_t user_ptr)  in binder_buffer_lookup()
612 			(uintptr_t)page_addr + proc->user_buffer_offset;  in binder_update_page_range()
632 			zap_page_range(vma, (uintptr_t)page_addr +  in binder_update_page_range()
715 		(void *)(((uintptr_t)buffer->data + buffer_size) & PAGE_MASK);  in binder_alloc_buf()
723 		(void *)PAGE_ALIGN((uintptr_t)buffer->data + buffer_size);  in binder_alloc_buf()
727 	    (void *)PAGE_ALIGN((uintptr_t)buffer->data), end_page_addr, NULL))  in binder_alloc_buf()
758 	return (void *)((uintptr_t)buffer & PAGE_MASK);  in buffer_start_page()
763 	return (void *)(((uintptr_t)(buffer + 1) - 1) & PAGE_MASK);  in buffer_end_page()
840 		(void *)PAGE_ALIGN((uintptr_t)buffer->data),  in binder_free_buf()
841 		(void *)(((uintptr_t)buffer->data + buffer_size) & PAGE_MASK),  in binder_free_buf()
1504 	if (copy_from_user(t->buffer->data, (const void __user *)(uintptr_t)  in binder_transaction()
1511 	if (copy_from_user(offp, (const void __user *)(uintptr_t)  in binder_transaction()
1761 	void __user *buffer = (void __user *)(uintptr_t)binder_buffer;  in binder_thread_write()
2147 	void __user *buffer = (void __user *)(uintptr_t)binder_buffer;  in binder_thread_read()
2410 					(uintptr_t)t->buffer->data +  in binder_thread_read()
2884 	proc->user_buffer_offset = vma->vm_start - (uintptr_t)proc->buffer;  in binder_mmap()