echo_area_display 1139 src/xdisp.c    static void echo_area_display (bool);
echo_area_display 12132 src/xdisp.c          echo_area_display (true);
echo_area_display 16687 src/xdisp.c          echo_area_display (false);