Searched refs:incr_counter (Results 1 – 1 of 1) sorted by relevance
23 uint32_t incr_counter = 0; in tee_init_ctr_operation() local31 rc = serialargs_get(&args, &incr_counter, sizeof(uint32_t)); in tee_init_ctr_operation()42 if (incr_counter != 1) { in tee_init_ctr_operation()44 incr_counter); in tee_init_ctr_operation()
Completed in 2 milliseconds