The text 8fa3eb89cf4c, as Debian 6.0 (Squeeze) shipped it.
hwloc_get_child_covering_cpuset(3) on Linux now
