xenbus_lookup_device_path
if (xenbus_lookup_device_path(xbusd->xbusd_path) != NULL) {
KASSERT(xenbus_lookup_device_path(xbusd->xbusd_path) == xbusd);
static struct xenbus_device *xenbus_lookup_device_path(const char *);