Searched refs:pipeinput_tee (Results 1 – 4 of 4) sorted by relevance
722 if (! pipeinput_tee) { in pointer_event()966 pipeinput_tee = 0; in initialize_pipeinput()998 pipeinput_tee = 1; in initialize_pipeinput()
175 extern int pipeinput_tee;
208 int pipeinput_tee = 0; variable
3266 if (! pipeinput_tee) { in keyboard()