android_get_screen_width   99 src/android.h  extern int android_get_screen_width (void);
android_get_screen_width 1216 src/androidfns.c   return make_fixnum (android_get_screen_width ());
android_get_screen_width 1397 src/androidfns.c   monitor.geom.width = android_get_screen_width ();
android_get_screen_width 2142 src/androidfns.c   max_x = android_get_screen_width ();