Searched refs:STATE_LIST_MARK (Results 1 – 1 of 1) sorted by relevance
4154 #define STATE_LIST_MARK ((struct bpf_verifier_state_list *) -1L) macro4180 env->explored_states[w] = STATE_LIST_MARK; in push_insn()4248 env->explored_states[t + 1] = STATE_LIST_MARK; in check_cfg()4250 env->explored_states[t] = STATE_LIST_MARK; in check_cfg()4273 env->explored_states[t + 1] = STATE_LIST_MARK; in check_cfg()4276 env->explored_states[t] = STATE_LIST_MARK; in check_cfg()4670 while (sl != STATE_LIST_MARK) { in is_state_visited()5884 while (sl != STATE_LIST_MARK) { in free_states()
