Searched refs:incr_counter (Results 1 – 1 of 1) sorted by relevance
423 uint32_t incr_counter = 0; in tee_init_ctr_operation() local431 rc = serialargs_get(&args, &incr_counter, sizeof(uint32_t)); in tee_init_ctr_operation()442 if (incr_counter != 1) { in tee_init_ctr_operation()444 incr_counter); in tee_init_ctr_operation()