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;