carta

hwloc_intel_mic_get_device_osdev_by_index(3) on Linux

The text 22f5552ce7a8, as Debian 8 (Jessie) shipped it.

hwloc_intel_mic_get_device_osdev_by_index(3) on Linux now