w32_set_mouse_face_gc  987 src/w32term.c  static void w32_set_mouse_face_gc (struct glyph_string *);
w32_set_mouse_face_gc 1131 src/w32term.c        w32_set_mouse_face_gc (s);
w32_set_mouse_face_gc 2493 src/w32term.c  	      w32_set_mouse_face_gc (s);