devctl_get_pathname
} else if (devctl_get_pathname(dev_hdl, devctl_device, MAXPATHLEN)
if (devctl_get_pathname(dev_hdl, dev_path, MAXPATHLEN) == NULL)
if (devctl_get_pathname(dev_hdl, dev_path, MAXPATHLEN) == NULL)
devctl_get_pathname(dev_hdl, dev_path, pathlen);
devctl_get_pathname(devctl_hdl_t, char *, size_t);