find_watch        707 drivers/xen/xenbus/xenbus_xs.c 	event->handle = find_watch(event->token);
find_watch        771 drivers/xen/xenbus/xenbus_xs.c 	BUG_ON(find_watch(token));
find_watch        800 drivers/xen/xenbus/xenbus_xs.c 	BUG_ON(!find_watch(token));