Symbol: invl_scoreboard_getcpu
sys/amd64/amd64/mp_machdep.c
1091
scoreboard = invl_scoreboard_getcpu(PCPU_GET(cpuid));
sys/amd64/amd64/mp_machdep.c
578
return (invl_scoreboard_getcpu(cpu) + PCPU_GET(cpuid));