Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/verifier.c bpf_add_kfunc_call() -> fetch_kfunc_meta()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| 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 | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->jit_required | 1 |
| PARAM_VALUE | 3 | kfunc | 8516063358568136704 |
| BUF_SIZE | 0 | env->prog | (-1)-s32max |
| DATA_SOURCE | 0 | env | $0 |
| DATA_SOURCE | 1 | func_id | $1 |
| DATA_SOURCE | 2 | offset | $2 |
| NO_OVERFLOW_SIMPLE | 0 | env->prog->len |
kernel/bpf/verifier.c bpf_fetch_kfunc_arg_meta() -> fetch_kfunc_meta()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info->args_cached | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->changes_pkt_data | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->exit_idx | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->has_ld_abs | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->has_tail_call | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_async_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_exception_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->keep_fastcall_stack | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->max_out_stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->might_sleep | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->might_throw | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->priv_stack_mode | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->tail_call_reachable | 0-1 |
| PARAM_VALUE | 0 | *env->succ->items | 0-4294967295 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 3 | kfunc | 7821370294638129152 |
| DATA_SOURCE | 0 | env | $0 |
| DATA_SOURCE | 1 | func_id | $1 |
| DATA_SOURCE | 2 | offset | $2 |
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | env->tmp_str_buf |
kernel/bpf/verifier.c kfunc_spin_allowed() -> fetch_kfunc_meta()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state->active_locks | 1-u32max |
| PARAM_VALUE | 0 | env->prog->insnsi | 4096-ptr_max |
| PARAM_VALUE | 3 | kfunc | 3468003417808433152 |
| DATA_SOURCE | 0 | env | $0 |
| DATA_SOURCE | 1 | func_id | $1 |
| DATA_SOURCE | 2 | offset | $2 |