vhci_get_iocdata
static int vhci_get_iocdata(const void *, sv_iocdata_t *, int, caddr_t);
retval = vhci_get_iocdata((const void *)data, pioc, mode, s);