Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c bpf_check_attach_target() -> bpf_prog_dev_bound_match()

Type Parameter Key Value
PARAM_VALUE 0 lhs 4096-ptr_max
PARAM_VALUE 0 lhs->aux 4096-ptr_max
PARAM_VALUE 0 lhs->aux->dev_bound 1
PARAM_VALUE 0 lhs->type 26,28-29
PARAM_VALUE 1 rhs 4096-ptr_max
PARAM_VALUE 1 rhs->aux 4096-ptr_max
BUF_SIZE 0 lhs s32min-(-1),1-s32max
BUF_SIZE 0 lhs s32min-(-1),1-s32max
BUF_SIZE 1 rhs s32min-s32max
DATA_SOURCE 0 lhs $1
DATA_SOURCE 1 rhs $2
BIT_INFO 0 lhs->type 0x18,0x1f
HALF_LOCKED2 0 &lhs->aux->dst_mutex