w32_release_paint_buffer 1828 src/w32fns.c         w32_release_paint_buffer (f);
w32_release_paint_buffer 5791 src/w32term.c  		      w32_release_paint_buffer (f);
w32_release_paint_buffer 7221 src/w32term.c    w32_release_paint_buffer (f);
w32_release_paint_buffer  900 src/w32term.h  extern void w32_release_paint_buffer (struct frame *);
w32_release_paint_buffer  176 src/w32xfns.c  	w32_release_paint_buffer (f);