android_flush_dirty_back_buffer_on  917 src/androidterm.c 	    android_flush_dirty_back_buffer_on (mouse_frame);
android_flush_dirty_back_buffer_on 1164 src/androidterm.c 	android_flush_dirty_back_buffer_on (f);
android_flush_dirty_back_buffer_on 1192 src/androidterm.c 	      android_flush_dirty_back_buffer_on (f);
android_flush_dirty_back_buffer_on 1290 src/androidterm.c 		  android_flush_dirty_back_buffer_on (f);
android_flush_dirty_back_buffer_on 1315 src/androidterm.c 		  android_flush_dirty_back_buffer_on (f);
android_flush_dirty_back_buffer_on 1432 src/androidterm.c 	      android_flush_dirty_back_buffer_on (any);
android_flush_dirty_back_buffer_on 1503 src/androidterm.c 		  android_flush_dirty_back_buffer_on (any);