Source position: gdkdisplay.inc line 83
function gdk_display_get_core_pointer(
display: PGdkDisplay
):PGdkDevice;