49     uint32_t write_counter;  member
158                                uint32_t write_counter) {  in rpmb_check_response()  argument
191         if (write_counter &&  in rpmb_check_response()
192             write_counter != rpmb_get_u32(res[i].write_counter)) {  in rpmb_check_response()
194                     cmd_str, rpmb_get_u32(res[i].write_counter), write_counter);  in rpmb_check_response()
230     rpmb_dprint_u32("  write_counter ", res.write_counter);  in rpmb_program_key()
240                              uint32_t* write_counter) {  in rpmb_read_counter()  argument
262     rpmb_dprint_u32("  write_counter ", res.write_counter);  in rpmb_read_counter()
271     if (write_counter)  in rpmb_read_counter()
272         *write_counter = rpmb_get_u32(res.write_counter);  in rpmb_read_counter()
278                                    uint32_t* write_counter) {  in rpmb_read_counter_retry()  argument
282         ret = rpmb_read_counter(state, write_counter);  in rpmb_read_counter_retry()
453         cmd[i].write_counter = rpmb_u32(state->write_counter);  in rpmb_write_data()
480             addr, count, state->write_counter);  in rpmb_write_data()
483     rpmb_dprint_u32("  write_counter ", res.write_counter);  in rpmb_write_data()
489                               NULL, &addr, state->write_counter + 1);  in rpmb_write_data()
493         if (check_write_counter(state, state->write_counter + 1)) {  in rpmb_write_data()
494             state->write_counter++;  in rpmb_write_data()
498                     state->write_counter);  in rpmb_write_data()
511     state->write_counter++;  in rpmb_write_data()
588             state->write_counter);  in rpmb_write_data()
657     ret = rpmb_read_counter_retry(state, &state->write_counter);  in rpmb_set_key()
673     state->write_counter = RPMB_WRITE_COUNTER_EXPIRED_VALUE;  in rpmb_init()