Searched refs:acquired_refs (Results 1 – 3 of 3) sorted by relevance
848 if (vstate->acquired_refs && vstate->refs[0].id) { in print_verifier_state()850 for (i = 1; i < vstate->acquired_refs; i++) in print_verifier_state()
1200 for (int i = 0; i < env->cur_state->acquired_refs; i++) { in unmark_stack_slot_irq_flag()1402 dst->refs = copy_array(dst->refs, src->refs, src->acquired_refs, in copy_reference_state()1407 dst->acquired_refs = src->acquired_refs; in copy_reference_state()1430 state->refs = realloc_array(state->refs, state->acquired_refs, n, in resize_reference_state()1435 state->acquired_refs = n; in resize_reference_state()1474 int new_ofs = state->acquired_refs; in acquire_reference_state()1477 err = resize_reference_state(state, state->acquired_refs + 1); in acquire_reference_state()1539 last_idx = state->acquired_refs - 1; in release_reference_state()1540 rem = state->acquired_refs - idx - 1; in release_reference_state()1544 state->acquired_refs--; in release_reference_state()[all …]
423 u32 acquired_refs; member