87
87
vector_of_scoreboard_vectors.resize(number_buckets);
89
89
/* populate the scoreboard locks vector each ScoreboardSlot vector gets a lock */
91
91
for (uint32_t k= 0; k < number_buckets; ++k)
95
94
vector_of_scoreboard_locks_iterator=
96
95
vector_of_scoreboard_locks.insert(vector_of_scoreboard_locks_iterator, lock);