Symbol: invl_scoreboard_slot
sys/amd64/amd64/mp_machdep.c
651
KASSERT(*invl_scoreboard_slot(cpu) != 0,
sys/amd64/amd64/mp_machdep.c
654
*invl_scoreboard_slot(cpu) = 0;
sys/amd64/amd64/mp_machdep.c
669
p_cpudone = invl_scoreboard_slot(cpu);