Details of the xenwatch callback kernel thread. The thread waits on the watch_events_waitq for work to do (queued on watch_events list). When it wakes up it acquires the xenwatch_mutex before reading the list and carrying out work.