hwloc_get_pu_obj_by_os_index(3) on Linux

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

hwloc_get_pu_obj_by_os_index(3) on Linux now