android_map_raised 2381 src/androidfns.c   android_map_raised (FRAME_ANDROID_WINDOW (tip_f));
android_map_raised  653 src/androidgui.h extern void android_map_raised (android_window);