invl_scoreboard_getcpu
scoreboard = invl_scoreboard_getcpu(PCPU_GET(cpuid));
return (invl_scoreboard_getcpu(cpu) + PCPU_GET(cpuid));