uv_cpu_core_number 321 drivers/misc/sgi-gru/grufile.c core = uv_cpu_core_number(cpu) + UV_MAX_INT_CORES * uv_cpu_socket_number(cpu); uv_cpu_core_number 50 drivers/misc/sgi-gru/grumain.c core = uv_cpu_core_number(cpu);