The text 09c21c393dcf, as Debian 10 (Buster) shipped it.
hwloc_get_child_covering_cpuset(3) on Linux now
