Source position: gdkinputprivate.inc line 91
function _gdk_device_allocate_history(
device: PGdkDevice;
n_events: gint
):PPGdkTimeCoord;