be_get_screen_dimensions  610 src/haiku_support.h extern void be_get_screen_dimensions (int *, int *);
be_get_screen_dimensions 1284 src/haikufns.c       be_get_screen_dimensions (&max_x, &max_y);
be_get_screen_dimensions 2324 src/haikufns.c   be_get_screen_dimensions (&width, &height);
be_get_screen_dimensions 2337 src/haikufns.c   be_get_screen_dimensions (&width, &height);
be_get_screen_dimensions 2348 src/haikufns.c   be_get_screen_dimensions (&width, &height);
be_get_screen_dimensions 2360 src/haikufns.c   be_get_screen_dimensions (&width, &height);
be_get_screen_dimensions 3133 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);