Symbol: wwcheckpoint
usr.bin/window/ww.h
322
void wwcheckpoint(void);
usr.bin/window/wwflush.c
59
wwcheckpoint();