hwloc_cudart_get_device_osdev_by_index(3) on Linux

The text dc76f5c44df4, as Debian 9 (Stretch) shipped it.

Interoperability with the CUDA Runtime API