be_get_screen_dimensions  610 src/haiku_support.h extern void be_get_screen_dimensions (int *, int *);
be_get_screen_dimensions 1257 src/haikufns.c       be_get_screen_dimensions (&max_x, &max_y);
be_get_screen_dimensions 2270 src/haikufns.c   be_get_screen_dimensions (&width, &height);
be_get_screen_dimensions 2283 src/haikufns.c   be_get_screen_dimensions (&width, &height);
be_get_screen_dimensions 2294 src/haikufns.c   be_get_screen_dimensions (&width, &height);
be_get_screen_dimensions 2306 src/haikufns.c   be_get_screen_dimensions (&width, &height);
be_get_screen_dimensions 3079 src/haikufns.c   be_get_screen_dimensions ((int *) &monitor.geom.width,
be_get_screen_dimensions 1099 src/haikuselect.c   be_get_screen_dimensions (&max_x, &max_y);