reset_mouse_highlight 2306 src/androidterm.c     reset_mouse_highlight (hlinfo);
reset_mouse_highlight 1707 src/haikufns.c     reset_mouse_highlight (hlinfo);
reset_mouse_highlight  615 src/msdos.c    	reset_mouse_highlight (hlinfo);
reset_mouse_highlight 1284 src/msdos.c        reset_mouse_highlight (hlinfo);
reset_mouse_highlight 1827 src/msdos.c          reset_mouse_highlight (&the_only_display_info.mouse_highlight);
reset_mouse_highlight  491 src/pgtkterm.c     reset_mouse_highlight (hlinfo);
reset_mouse_highlight 1116 src/pgtkterm.c   reset_mouse_highlight (&dpyinfo->mouse_highlight);
reset_mouse_highlight 6868 src/pgtkterm.c   reset_mouse_highlight (&dpyinfo->mouse_highlight);
reset_mouse_highlight  700 src/w32console.c   reset_mouse_highlight (&term->display_info.tty->mouse_highlight);
reset_mouse_highlight 7238 src/w32term.c      reset_mouse_highlight (hlinfo);
reset_mouse_highlight 7405 src/w32term.c    reset_mouse_highlight (&dpyinfo->mouse_highlight);
reset_mouse_highlight 3385 src/window.c   	reset_mouse_highlight (hlinfo);
reset_mouse_highlight 36050 src/xdisp.c        reset_mouse_highlight (hlinfo);
reset_mouse_highlight 21443 src/xterm.c    		reset_mouse_highlight (hlinfo);
reset_mouse_highlight 29261 src/xterm.c        reset_mouse_highlight (hlinfo);
reset_mouse_highlight 30537 src/xterm.c      reset_mouse_highlight (&dpyinfo->mouse_highlight);