usr/src/tools/smatch/src/check_kernel_printf.c

1468

printf_hook(xenbus_dev_fatal, 3, 4); /* include/xen/xenbus.h */

usr/src/uts/common/xen/io/xenbus_client.c

143

xenbus_dev_fatal(dev, err, "writing new state");

usr/src/uts/common/xen/io/xenbus_client.c

249

xenbus_dev_fatal(dev, err, "granting access to ring page");

usr/src/uts/common/xen/io/xenbus_client.c

261

xenbus_dev_fatal(dev, err, "allocating event channel");

usr/src/uts/common/xen/io/xenbus_client.c

85

xenbus_dev_fatal(dev, err, "adding watch on %s", path);

usr/src/uts/common/xen/io/xenbus_probe.c

72

xenbus_dev_fatal(xendev, err,

usr/src/uts/common/xen/io/xenbus_probe.c

78

xenbus_dev_fatal(xendev, X_ENOENT, "missing other end from %s",

usr/src/uts/common/xen/os/xvdi.c

1088

xenbus_dev_fatal(&pdp->xd_xsdev, errno, errstr);

usr/src/uts/common/xen/sys/xenbus_impl.h

235

extern void xenbus_dev_fatal(struct xenbus_device *dev,