Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/verifier.c check_kfunc_call() -> get_iter_from_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur_st | 4096-ptr_max |
| PARAM_VALUE | 1 | meta | 5112478544311123968 |
| PARAM_VALUE | 1 | meta->iter.frameno | 0 |
| PARAM_VALUE | 1 | meta->iter.spi | 0 |
| MEM_ZERO | 1 | meta |
kernel/bpf/verifier.c process_iter_next_call() -> get_iter_from_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur_st | 4096-ptr_max |
| PARAM_VALUE | 0 | cur_st->frame | 4096-ptr_max |
| PARAM_VALUE | 1 | meta | 5112478544311123968 |
| PARAM_VALUE | 1 | meta->iter.frameno | 0 |
| PARAM_VALUE | 1 | meta->iter.spi | 0 |
| DATA_SOURCE | 1 | meta | $2 |
| MEM_ZERO | 1 | meta |
kernel/bpf/verifier.c process_iter_next_call() -> get_iter_from_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur_st | 4096-ptr_max |
| PARAM_VALUE | 1 | meta | 5112478544311123968 |
| PARAM_VALUE | 1 | meta->iter.frameno | 0 |
| PARAM_VALUE | 1 | meta->iter.spi | 0 |
| BUF_SIZE | 0 | cur_st | 232 |
| DATA_SOURCE | 0 | cur_st | r push_stack |
| DATA_SOURCE | 1 | meta | $2 |
| MEM_ZERO | 1 | meta | |
| NO_OVERFLOW_SIMPLE | 0 | cur_st->st.jmp_history_cnt |