android_set_clip_mask  614 src/androidgui.h extern void android_set_clip_mask (struct android_gc *, android_pixmap);
android_set_clip_mask 2438 src/androidterm.c   android_set_clip_mask (gc, ANDROID_NONE);
android_set_clip_mask 3388 src/androidterm.c       android_set_clip_mask (s->gc, ANDROID_NONE);