Symbol: wwreset
usr.bin/window/ww.h
362
void wwreset(void);
usr.bin/window/wwflush.c
88
wwreset();