Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

net/core/filter.c bpf_sock_common_is_valid_access() -> bpf_sock_is_valid_access()

Type Parameter Key Value
PARAM_VALUE 0 off s32min-7,24-s32max
PARAM_VALUE 1 size 1-2,4,8
PARAM_VALUE 2 type 1
PARAM_VALUE 3 info 359542043461242880
PARAM_VALUE 3 info->ctx_field_size 0
DATA_SOURCE 0 off $0
DATA_SOURCE 1 size $1
DATA_SOURCE 2 type $2
DATA_SOURCE 3 info $3
UNITS 1 size unit_byte

net/core/filter.c sock_filter_is_valid_access() -> bpf_sock_is_valid_access()

Type Parameter Key Value
PARAM_VALUE 1 size 1-2,4,8
PARAM_VALUE 2 type 1-2
PARAM_VALUE 3 info 1018536968940179456
PARAM_VALUE 3 info->ctx_field_size 0
BUF_SIZE 3 info->log 1064
DATA_SOURCE 0 off $0
DATA_SOURCE 1 size $1
DATA_SOURCE 2 type $2
DATA_SOURCE 3 info $4
HARD_MAX 2 type 2

kernel/bpf/verifier.c check_sock_access() -> bpf_sock_is_valid_access()

Type Parameter Key Value
PARAM_VALUE 1 size 1-2,4,8
PARAM_VALUE 2 type 1
PARAM_VALUE 3 info 359542043461242880
PARAM_VALUE 3 info->ctx_field_size 0
DATA_SOURCE 0 off $4
DATA_SOURCE 1 size $5
DATA_SOURCE 2 type $6
UNITS 1 size unit_byte