vhci_ioc_send_client_path
static int vhci_ioc_send_client_path(caddr_t, sv_iocdata_t *, int, caddr_t);
if (vhci_ioc_send_client_path(client_path, pioc, mode, s)) {