Source position: gdkmain.pp line 322
function gdk_input_motion_events(
window: PGdkWindow;
deviceid: guint32;
start: guint32;
stop: guint32;
nevents_return: Pgint
):PGdkTimeCoord;