Source position: gdkdisplay.inc line 74
function gdk_display_list_devices(
display: PGdkDisplay
):PGList;