GC_get_nprocs     697 gc/pthread_support.c int GC_get_nprocs()
GC_get_nprocs     816 gc/pthread_support.c int GC_get_nprocs()