diff --git a/sys/dev/xen/netfront/netfront.c b/sys/dev/xen/netfront/netfront.c
index e13fb8765bae..05fc7fad6fe5 100644
--- a/sys/dev/xen/netfront/netfront.c
+++ b/sys/dev/xen/netfront/netfront.c
@@ -1058,6 +1058,7 @@ netfront_backend_changed(device_t dev, XenbusState newstate)
 {
 	struct netfront_info *sc = device_get_softc(dev);
 
+	device_printf(dev, "new backend state %d\n", newstate);
 	DPRINTK("newstate=%d\n", newstate);
 
 	CURVNET_SET(if_getvnet(sc->xn_ifp));
diff --git a/sys/dev/xen/xenstore/xenstore.c b/sys/dev/xen/xenstore/xenstore.c
index 811aa1859d41..1a4f93ce4ba9 100644
--- a/sys/dev/xen/xenstore/xenstore.c
+++ b/sys/dev/xen/xenstore/xenstore.c
@@ -993,6 +993,9 @@ xenwatch_thread(void *unused)
 			 * XXX the workaround here simply prevents the kernel
 			 * XXX from panic'ing on startup.
 			 */
+			printf("%s: path %s callback %p\n",
+			    __func__, msg->u.watch.vec[XS_WATCH_PATH],
+			    msg->u.watch.handle->callback);
 			if (msg->u.watch.handle->callback != NULL)
 				msg->u.watch.handle->callback(
 					msg->u.watch.handle,
@@ -1103,6 +1106,7 @@ xs_attach(device_t dev)
 
 	xs.initialized = false;
 	xs.evtchn = xen_get_xenstore_evtchn();
+	printf("xs evtchn: %d\n", xs.evtchn);
 	if (xs.evtchn == 0) {
 		struct evtchn_alloc_unbound alloc_unbound;
 
diff --git a/sys/xen/xenbus/xenbusb.c b/sys/xen/xenbus/xenbusb.c
index b64bc4a99bb4..5b63d190f1f1 100644
--- a/sys/xen/xenbus/xenbusb.c
+++ b/sys/xen/xenbus/xenbusb.c
@@ -142,11 +142,17 @@ xenbusb_otherend_watch_cb(struct xs_watch *watch, const char **vec,
 	bus = device_get_parent(child);
 
 	path = vec[XS_WATCH_PATH];
+
+	device_printf(child,
+	    "otherend_path: %s otherend_path_len %u path: %s\n",
+	    ivars->xd_otherend_path, ivars->xd_otherend_path_len, path);
+
 	if (ivars->xd_otherend_path == NULL
 	 || strncmp(ivars->xd_otherend_path, path, ivars->xd_otherend_path_len))
 		return;
 
 	newstate = xenbus_read_driver_state(ivars->xd_otherend_path);
+	device_printf(child, "%s -> %d\n", path, newstate);
 	XENBUSB_OTHEREND_CHANGED(bus, child, newstate);
 }
 
@@ -986,6 +992,7 @@ xenbusb_write_ivar(device_t dev, device_t child, int index, uintptr_t value)
 void
 xenbusb_otherend_changed(device_t bus, device_t child, enum xenbus_state state)
 {
+	device_printf(child, "new state %d\n", state);
 	XENBUS_OTHEREND_CHANGED(child, state);
 }