Symbol: wwinterrupt
usr.bin/window/wwiomux.c
130
if (wwinterrupt()) {
usr.bin/window/wwiomux.c
231
if (wwinterrupt())
usr.bin/window/wwiomux.c
75
if (wwinterrupt()) {
usr.bin/window/wwupdate.c
93
if (wwinterrupt())
usr.bin/window/wwwrite.c
68
(!wwinterrupt() || ISSET(w->ww_wflags, WWW_NOINTR))) {
usr.bin/window/xxflush.c
45
for (xp = xx_head; xp != NULL && !(intr && wwinterrupt()); xp = xq) {