Source position: gdkinput.inc line 115
procedure gdk_device_free_history(
events: PPGdkTimeCoord;
n_events: gint
);