Lines Matching refs:ConstructionCounter
4699 set_bit_field3(ConstructionCounter::update(bit_field3(), value));4704 return ConstructionCounter::decode(bit_field3());