439 	struct xctrl_softc *xctrl;  in xctrl_attach()  local
441 	xctrl = device_get_softc(dev);  in xctrl_attach()
444 	xctrl->xctrl_watch.node = "control/shutdown";  in xctrl_attach()
445 	xctrl->xctrl_watch.callback = xctrl_on_watch_event;  in xctrl_attach()
446 	xctrl->xctrl_watch.callback_data = (uintptr_t)xctrl;  in xctrl_attach()
452 	xctrl->xctrl_watch.max_pending = 1;  in xctrl_attach()
453 	xs_register_watch(&xctrl->xctrl_watch);  in xctrl_attach()
472 	struct xctrl_softc *xctrl;  in xctrl_detach()  local
474 	xctrl = device_get_softc(dev);  in xctrl_detach()
477 	xs_unregister_watch(&xctrl->xctrl_watch);  in xctrl_detach()
493 DEFINE_CLASS_0(xctrl, xctrl_driver, xctrl_methods, sizeof(struct xctrl_softc));
495 DRIVER_MODULE(xctrl, xenstore, xctrl_driver, NULL, NULL);