192 static int read_backend_details(struct xenbus_device *xendev)  in read_backend_details()  argument
194 	return xenbus_read_otherend_details(xendev, "backend-id", "backend");  in read_backend_details()
199 	struct xenbus_device *xendev = to_xenbus_device(dev);  in is_device_connecting()  local
220 		if ((strncmp(xendev->nodename, "device/vkbd", 11) == 0))  in is_device_connecting()
223 		if ((strncmp(xendev->nodename, "device/vfb", 10) == 0))  in is_device_connecting()
227 	return (xendev->state < XenbusStateConnected ||  in is_device_connecting()
228 		(xendev->state == XenbusStateConnected &&  in is_device_connecting()
229 		 xendrv->is_ready && !xendrv->is_ready(xendev)));  in is_device_connecting()
253 	struct xenbus_device *xendev = to_xenbus_device(dev);  in print_device_status()  local
262 		pr_info("Device with no driver: %s\n", xendev->nodename);  in print_device_status()
263 	} else if (xendev->state < XenbusStateConnected) {  in print_device_status()
265 		if (xendev->otherend)  in print_device_status()
266 			rstate = xenbus_read_driver_state(xendev->otherend);  in print_device_status()
268 			xendev->nodename, xendev->state, rstate);  in print_device_status()