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;