w32_frame_rehighlight_1  197 src/w32term.c  static void w32_frame_rehighlight_1 (struct w32_display_info *);
w32_frame_rehighlight_1 3085 src/w32term.c    w32_frame_rehighlight_1 (dpyinfo);
w32_frame_rehighlight_1 3175 src/w32term.c    w32_frame_rehighlight_1 (FRAME_DISPLAY_INFO (frame));