// SPDX-License-Identifier: GPL-2.0 #include int main(void) { return numa_num_possible_cpus(); }