cpu_no 722 gc/pthread_support.c int cpu_no = atoi(stat_buf + i + 4); cpu_no 723 gc/pthread_support.c if (cpu_no >= result) result = cpu_no + 1;