Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/states.c bpf_is_state_visited() -> iter_active_depths_differ()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | old->curframe | 0-4294967294 |
| PARAM_VALUE | 1 | cur | 4096-ptr_max |
| CAPPED_DATA | 1 | cur->acquired_refs | 1 |
| CAPPED_DATA | 1 | cur->active_lock_ptr | 1 |
| CAPPED_DATA | 1 | cur->active_locks | 1 |
| CAPPED_DATA | 1 | cur->active_preempt_locks | 1 |
| CAPPED_DATA | 1 | cur->active_rcu_locks | 1 |
| CAPPED_DATA | 1 | cur->curframe | 1 |
| CAPPED_DATA | 1 | cur->in_sleepable | 1 |
| NO_OVERFLOW_SIMPLE | 1 | cur->jmp_history_cnt |