Source position: lazgdk3.pas line 4645
function gdk_device_tool_get_hardware_id(
tool: PGdkDeviceTool
):guint64;