reset_mouse_highlight 1653 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 6869 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 35743 src/xdisp.c        reset_mouse_highlight (hlinfo);
reset_mouse_highlight 21095 src/xterm.c    		reset_mouse_highlight (hlinfo);
reset_mouse_highlight 28632 src/xterm.c        reset_mouse_highlight (hlinfo);
reset_mouse_highlight 29800 src/xterm.c      reset_mouse_highlight (&dpyinfo->mouse_highlight);