kdevtoname
int kdevtoname(kvm_t *kd, struct cdev *dev, char *);
(void)kdevtoname(kd, tty.t_dev, pts->devname);
(void)kdevtoname(kd, vnode.v_rdev, vn->vn_devname);