numCpus           819 gc/pthread_support.c     int numCpus;
numCpus           827 gc/pthread_support.c        numCpus = -1;
numCpus           830 gc/pthread_support.c       numCpus = pm_sysinfo.idle_vp_count;
numCpus           833 gc/pthread_support.c     GC_printf1("Number of active CPUs in this system: %d\n", numCpus);
numCpus           835 gc/pthread_support.c     return(numCpus);