429 	struct xctrl_softc *xctrl;  in xctrl_attach()  local
431 	xctrl = device_get_softc(dev);  in xctrl_attach()
434 	xctrl->xctrl_watch.node = "control/shutdown";  in xctrl_attach()
435 	xctrl->xctrl_watch.callback = xctrl_on_watch_event;  in xctrl_attach()
436 	xctrl->xctrl_watch.callback_data = (uintptr_t)xctrl;  in xctrl_attach()
442 	xctrl->xctrl_watch.max_pending = 1;  in xctrl_attach()
443 	xs_register_watch(&xctrl->xctrl_watch);  in xctrl_attach()
463 	struct xctrl_softc *xctrl;  in xctrl_detach()  local
465 	xctrl = device_get_softc(dev);  in xctrl_detach()
468 	xs_unregister_watch(&xctrl->xctrl_watch);  in xctrl_detach()
484 DEFINE_CLASS_0(xctrl, xctrl_driver, xctrl_methods, sizeof(struct xctrl_softc));
487 DRIVER_MODULE(xctrl, xenstore, xctrl_driver, xctrl_devclass, NULL, NULL);