echo_area_display 1139 src/xdisp.c    static void echo_area_display (bool);
echo_area_display 12167 src/xdisp.c          echo_area_display (true);
echo_area_display 16843 src/xdisp.c          echo_area_display (false);