vhci_ioc_get_paddr
static int vhci_ioc_get_paddr(sv_iocdata_t *, caddr_t, int, caddr_t);
vhci_ioc_get_paddr(pioc, paddr, mode, s)) {