Lines Matching defs:start_card
168 size_t start_card = _array->index_for(start);
170 assert(start ==_array->address_for_index(start_card), "Precondition");
172 set_remainder_to_point_to_start_incl(start_card, end_card); // closed interval
176 // a closed, inclusive interval: [start_card, end_card], cf set_remainder_to_point_to_start()
179 G1BlockOffsetArray::set_remainder_to_point_to_start_incl(size_t start_card, size_t end_card) {
180 if (start_card > end_card) {
183 assert(start_card > _array->index_for(_bottom), "Cannot be first card");
184 assert(_array->offset_array(start_card-1) <= N_words,
186 size_t start_card_for_region = start_card;
192 size_t reach = start_card - 1 + (BlockOffsetArray::power_to_cards_back(i+1) - 1);
203 DEBUG_ONLY(check_all_cards(start_card, end_card);)
293 // The card-interval [start_card, end_card] is a closed interval; this
296 void G1BlockOffsetArray::check_all_cards(size_t start_card, size_t end_card) const {
298 if (end_card < start_card) {
301 guarantee(_array->offset_array(start_card) == N_words, "Wrong value in second card");
302 for (size_t c = start_card + 1; c <= end_card; c++ /* yeah! */) {
304 if (c - start_card > BlockOffsetArray::power_to_cards_back(1)) {
314 guarantee(landing_card >= (start_card - 1), "Inv");
315 if (landing_card >= start_card) {
321 guarantee(landing_card == start_card - 1, "Tautology");