Source position: gdkdisplay.inc line 84
procedure gdk_display_get_pointer(
display: PGdkDisplay;
screen: PGdkScreen;
x: Pgint;
y: Pgint;
mask: PGdkModifierType
);