Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/verifier.c gen_kfunc_arg_proto() -> get_kfunc_arg_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->insn_aux_data->btf_var.reg_type | 0,16,529,4112 |
| PARAM_VALUE | 0 | env->log->tmp_str_buf | 0-255 |
| PARAM_VALUE | 0 | env->ops->gen_epilogue | 0 |
| PARAM_VALUE | 0 | env->ops->gen_prologue | 0,4211080353547984896,4217243331517132800,5153766329847492608,5416308278813511680 |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->kfunc_tab | 1-u64max |
| PARAM_VALUE | 0 | env->prog->jit_required | 1 |
| PARAM_VALUE | 1 | meta | 2071727024911261696 |
| PARAM_VALUE | 1 | meta->btf | 4096-ptr_max |
| PARAM_VALUE | 1 | meta->func_id | 1-s32max |
| PARAM_VALUE | 1 | meta->func_name | 4096-ptr_max |
| PARAM_VALUE | 1 | meta->func_proto | 4096-ptr_max |
| PARAM_VALUE | 2 | args | 4096-ptr_max |
| PARAM_VALUE | 3 | arg | 0-11 |
| PARAM_VALUE | 4 | nargs | 1-12 |
| BUF_SIZE | 0 | env->prog | (-1)-s32max |
| CAPPED_DATA | 1 | meta->btf | 1 |
| CAPPED_DATA | 3 | arg | 1 |
| CAPPED_DATA | 4 | nargs | 1 |
| DATA_SOURCE | 0 | env | $0 |
| DATA_SOURCE | 1 | meta | $1 |
| DATA_SOURCE | 4 | nargs | r btf_type_vlen |
| PARAM_COMPARE | 3 | arg | < $4 |
| PARAM_COMPARE | 4 | nargs | > $3 |
| MEM_ZERO | 1 | meta | |
| NO_OVERFLOW_SIMPLE | 0 | env->prog->len |