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);