Source position: gtkwidget.inc line 443
procedure gtk_widget_get_pointer(
widget: PGtkWidget;
x: Pgint;
y: Pgint
);