253 				 unsigned int cmd, void __user *uptr)  in vmci_host_get_version()
288 				     void __user *uptr)  in vmci_host_do_init_context()
350 				      void __user *uptr)  in vmci_host_do_send_datagram()
405 					 void __user *uptr)  in vmci_host_do_receive_datagram()
437 					void __user *uptr)  in vmci_host_do_alloc_queuepair()
506 					void __user *uptr)  in vmci_host_do_queuepair_setva()
547 					void __user *uptr)  in vmci_host_do_queuepair_setpf()
625 				  void __user *uptr)  in vmci_host_do_qp_detach()
651 				       void __user *uptr)  in vmci_host_do_ctx_add_notify()
674 					  void __user *uptr)  in vmci_host_do_ctx_remove_notify()
698 					  void __user *uptr)  in vmci_host_do_ctx_get_cpt_state()
730 					  void __user *uptr)  in vmci_host_do_ctx_set_cpt_state()
762 				       void __user *uptr)  in vmci_host_do_get_context_id()
771 				   void __user *uptr)  in vmci_host_do_set_notify()
798 					void __user *uptr)  in vmci_host_do_notify_resource()
848 					   void __user *uptr)  in vmci_host_do_recv_notifications()
912 	void __user *uptr = (void __user *)ioarg;  in vmci_host_unlocked_ioctl()  local