gui_draw_bottom_divider 1209 src/xdisp.c    static void gui_draw_bottom_divider (struct window *w);
gui_draw_bottom_divider 20863 src/xdisp.c        gui_draw_bottom_divider (w);
gui_draw_bottom_divider 36487 src/xdisp.c    	    gui_draw_bottom_divider (w);