Symbol: UV_MAX_INT_CORES
drivers/misc/sgi-gru/grufile.c
322
core = uv_cpu_core_number(cpu) + UV_MAX_INT_CORES * uv_cpu_socket_number(cpu);
drivers/misc/sgi-gru/grumain.c
48
id = core + UV_MAX_INT_CORES * uv_cpu_socket_number(cpu);