invl_scoreboard_slot
KASSERT(*invl_scoreboard_slot(cpu) != 0,
*invl_scoreboard_slot(cpu) = 0;
p_cpudone = invl_scoreboard_slot(cpu);