uv_cpu_socket_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_socket_number   51 drivers/misc/sgi-gru/grumain.c 	id = core + UV_MAX_INT_CORES * uv_cpu_socket_number(cpu);