mouse_cursor_max 2723 src/androidfns.c     mouse_cursor_max
mouse_cursor_max 1255 src/xfns.c       mouse_cursor_max