w32_clear_area   1568 src/w32fns.c   	  w32_clear_area (f, hdc, 0, FRAME_TOP_MARGIN_HEIGHT (f),
w32_clear_area   1570 src/w32fns.c   	  w32_clear_area (f, hdc, 0, 0, border, height);
w32_clear_area   1571 src/w32fns.c   	  w32_clear_area (f, hdc, width - border, 0, border, height);
w32_clear_area   1572 src/w32fns.c   	  w32_clear_area (f, hdc, 0, height - bottom_margin - 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);