carta

hwloc_mx_board_get_device_cpuset(3) on Linux

The text 059ad88c964e, as Debian 7 (Wheezy) shipped it.

hwloc_mx_board_get_device_cpuset(3) on Linux now