The text e9d883bb337f, as Debian 8 (Jessie) shipped it.
hwloc_ibv_get_device_osdev_by_name(3) on Linux now
