CPUの数

CPUの数は，以下のようにして求めることができるんだそうです。

#include <stdio.h>
#include <unistd.h>

int main()
{
  int cpu_cnt;
  cpu_cnt = sysconf(_SC_NPROCESSORS_CONF);
  printf("%d\n", cpu_cnt);
  return 0;
}

しかし，Linux上で，

% man sysconf

としてみても，_SC_NPROCESSORS_CONFに関する記述が出てきません。これでは，_SC_NPROCESSORS_CONFの存在を知ることはできないと思うのですが，皆さんはどうやって調べているんでしょう？