be_warp_pointer   685 src/haiku_support.h extern void be_warp_pointer (int, int);
be_warp_pointer  1767 src/haikufns.c   be_warp_pointer (pix_x, pix_y);
be_warp_pointer  2155 src/haikufns.c   be_warp_pointer (xval, yval);