The text c9b85c7a7396, as Debian 8 (Jessie) shipped it.
Reads the Host Device ID Lock CSR on a device
rio_get_host_deviceid_lock(9) on Linux now