xenwatch_pid       94 drivers/xen/xenbus/xenbus_xs.c static pid_t xenwatch_pid;
xenwatch_pid      812 drivers/xen/xenbus/xenbus_xs.c 	if (current->pid != xenwatch_pid)
xenwatch_pid      825 drivers/xen/xenbus/xenbus_xs.c 	if (current->pid != xenwatch_pid)
xenwatch_pid      871 drivers/xen/xenbus/xenbus_xs.c 	xenwatch_pid = current->pid;