如何使用C获取Linux中的CPU数量？

#include <stdio.h>#include <sys/sysinfo.h>int main(int argc, char *argv[]){    printf("This system has %d processors configured and "        "%d processors available.n",        get_nprocs_conf(), get_nprocs());    return 0;}

https://linux.die.net/man/3/get_nprocs