Symbol: xenbus_devid_to_vtermno
drivers/tty/hvc/hvc_xen.c
464
info->hvc = hvc_alloc(xenbus_devid_to_vtermno(devid),
drivers/tty/hvc/hvc_xen.c
525
info->vtermno = xenbus_devid_to_vtermno(devid);