Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c __check_ctx_access() -> (struct bpf_verifier_ops)->is_valid_access()

Type Parameter Key Value
PARAM_VALUE 1 size 1-2,4,8
PARAM_VALUE 2 type 1-2
PARAM_VALUE 3 prog 4096-ptr_max
PARAM_VALUE 4 info 1018536968940179456
PARAM_VALUE 4 info->btf 0
PARAM_VALUE 4 info->btf_id 0
PARAM_VALUE 4 info->ctx_field_size 0
PARAM_VALUE 4 info->is_ldsx 0
PARAM_VALUE 4 info->log 4096-ptr_max
PARAM_VALUE 4 info->ref_id 0
PARAM_VALUE 4 info->reg_type 1
DATA_SOURCE 0 off $2
DATA_SOURCE 1 size $3
DATA_SOURCE 2 type $4
DATA_SOURCE 4 info $5
CONTAINER 3 *(-8-16+8) $(-1)
HARD_MAX 2 type 2