w32_clear_area   1564 src/w32fns.c   	  w32_clear_area (f, hdc, 0, FRAME_TOP_MARGIN_HEIGHT (f), width, border);
w32_clear_area   1565 src/w32fns.c   	  w32_clear_area (f, hdc, 0, 0, border, height);
w32_clear_area   1566 src/w32fns.c   	  w32_clear_area (f, hdc, width - border, 0, border, height);
w32_clear_area   1567 src/w32fns.c   	  w32_clear_area (f, hdc, 0, height - border, width, border);
w32_clear_area    842 src/w32term.c  	  w32_clear_area (f, hdc, 0, y, width, height);
w32_clear_area    843 src/w32term.c  	  w32_clear_area (f, hdc, FRAME_PIXEL_WIDTH (f) - width,
w32_clear_area   4238 src/w32term.c  	  w32_clear_area (f, hdc, left, top, width, height);
w32_clear_area   4274 src/w32term.c  	      w32_clear_area (f, hdc, left, top, width, height);
w32_clear_area   4342 src/w32term.c  	  w32_clear_area (f, hdc, clear_left, top, clear_width, height);
w32_clear_area   4376 src/w32term.c  	      w32_clear_area (f, hdc, clear_left, top, clear_width, height);
w32_clear_area   6272 src/w32term.c    w32_clear_area (f, hdc, x, y, width, height);