Source position: lazgdk3.pas line 4646
function gdk_device_tool_get_serial(
tool: PGdkDeviceTool
):guint64;