The text e44d7852e9da, as Debian 13 (Trixie) shipped it.
Interoperability with OpenCL
hwloc_opencl_get_device_osdev(3) on Linux now
