xenbus_devid_to_vtermno  383 drivers/tty/hvc/hvc_xen.c 	info->hvc = hvc_alloc(xenbus_devid_to_vtermno(devid),
xenbus_devid_to_vtermno  442 drivers/tty/hvc/hvc_xen.c 	info->vtermno = xenbus_devid_to_vtermno(devid);