197 static int drv_cp_harray_to_user(void __user *user_buf_uva,  in drv_cp_harray_to_user()
239 	if (!access_ok(VERIFY_WRITE, (void __user *)uva, sizeof(u8)))  in vmci_host_setup_notify()
261 				 unsigned int cmd, void __user *uptr)  in vmci_host_get_version()
264 		int __user *vptr = uptr;  in vmci_host_get_version()
296 				     void __user *uptr)  in vmci_host_do_init_context()
358 				      void __user *uptr)  in vmci_host_do_send_datagram()
391 	if (copy_from_user(dg, (void __user *)(uintptr_t)send_info.addr,  in vmci_host_do_send_datagram()
419 					 void __user *uptr)  in vmci_host_do_receive_datagram()
439 		void __user *ubuf = (void __user *)(uintptr_t)recv_info.addr;  in vmci_host_do_receive_datagram()
451 					void __user *uptr)  in vmci_host_do_alloc_queuepair()
455 	int __user *retptr;  in vmci_host_do_alloc_queuepair()
467 		struct vmci_qp_alloc_info_vmvm __user *info = uptr;  in vmci_host_do_alloc_queuepair()
488 		struct vmci_qp_alloc_info __user *info = uptr;  in vmci_host_do_alloc_queuepair()
523 					void __user *uptr)  in vmci_host_do_queuepair_setva()
526 	struct vmci_qp_set_va_info __user *info = uptr;  in vmci_host_do_queuepair_setva()
564 					void __user *uptr)  in vmci_host_do_queuepair_setpf()
567 	struct vmci_qp_page_file_info __user *info = uptr;  in vmci_host_do_queuepair_setpf()
642 				  void __user *uptr)  in vmci_host_do_qp_detach()
645 	struct vmci_qp_dtch_info __user *info = uptr;  in vmci_host_do_qp_detach()
668 				       void __user *uptr)  in vmci_host_do_ctx_add_notify()
671 	struct vmci_ctx_info __user *info = uptr;  in vmci_host_do_ctx_add_notify()
691 					  void __user *uptr)  in vmci_host_do_ctx_remove_notify()
694 	struct vmci_ctx_info __user *info = uptr;  in vmci_host_do_ctx_remove_notify()
715 					  void __user *uptr)  in vmci_host_do_ctx_get_cpt_state()
734 		void __user *ubuf = (void __user *)(uintptr_t)get_info.cpt_buf;  in vmci_host_do_ctx_get_cpt_state()
747 					  void __user *uptr)  in vmci_host_do_ctx_set_cpt_state()
770 	if (copy_from_user(cpt_buf, (void __user *)(uintptr_t)set_info.cpt_buf,  in vmci_host_do_ctx_set_cpt_state()
789 				       void __user *uptr)  in vmci_host_do_get_context_id()
791 	u32 __user *u32ptr = uptr;  in vmci_host_do_get_context_id()
798 				   void __user *uptr)  in vmci_host_do_set_notify()
825 					void __user *uptr)  in vmci_host_do_notify_resource()
875 					   void __user *uptr)  in vmci_host_do_recv_notifications()
880 	void __user *ubuf;  in vmci_host_do_recv_notifications()
909 	ubuf = (void __user *)(uintptr_t)info.db_handle_buf_uva;  in vmci_host_do_recv_notifications()
913 		ubuf = (void __user *)(uintptr_t)info.qp_handle_buf_uva;  in vmci_host_do_recv_notifications()
939 	void __user *uptr = (void __user *)ioarg;  in vmci_host_unlocked_ioctl()