Defined in 2 files as a function:

Referenced in 6 files:

Smatch caller information:

net/sched/cls_bpf.c cls_bpf_prog_from_efd() -> bpf_prog_is_dev_bound()

Type Parameter Key Value

kernel/bpf/syscall.c bpf_prog_load() -> bpf_prog_is_dev_bound()

Type Parameter Key Value
PARAM_VALUE 0 aux 4096-ptr_max
BUF_SIZE 0 aux->attach_btf s32min-(-2),0-s32max
BUF_SIZE 0 aux->dst_prog s32min-(-2),0-s32max
BUF_SIZE 0 aux->token s32min-(-2),0-s32max

kernel/bpf/syscall.c bpf_prog_load() -> bpf_prog_is_dev_bound()

Type Parameter Key Value

net/bpf/test_run.c bpf_prog_test_run_xdp() -> bpf_prog_is_dev_bound()

Type Parameter Key Value
PARAM_VALUE 0 aux 4096-ptr_max

kernel/bpf/offload.c __bpf_offload_dev_match() -> bpf_prog_is_dev_bound()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &bpf_devs_lock

kernel/bpf/offload.c bpf_dev_bound_kfunc_check() -> bpf_prog_is_dev_bound()

Type Parameter Key Value
PARAM_VALUE 0 aux 4096-ptr_max
BUF_SIZE 0 aux->kfunc_btf_tab (-1),6152
BUF_SIZE 0 aux->kfunc_tab (-1),8
DATA_SOURCE 0 aux $1

kernel/bpf/offload.c bpf_prog_dev_bound_inherit() -> bpf_prog_is_dev_bound()

Type Parameter Key Value
PARAM_VALUE 0 aux 4096-ptr_max
PARAM_VALUE 0 aux->dev_bound 1

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

Type Parameter Key Value
PARAM_VALUE 0 aux 4096-ptr_max
HALF_LOCKED2 0 &aux->dst_mutex

kernel/bpf/core.c bpf_prog_free_deferred() -> bpf_prog_is_dev_bound()

Type Parameter Key Value
PARAM_VALUE 0 aux 4096-ptr_max
CAPPED_DATA 0 aux 1
CAPPED_DATA 0 aux->kfunc_btf_tab 1
CAPPED_DATA 0 aux->prog->aux->st_ops_assoc 1
CAPPED_DATA 0 aux->used_btf_cnt 1
CAPPED_DATA 0 aux->used_btfs 1
CAPPED_DATA 0 aux->used_map_cnt 1
CAPPED_DATA 0 aux->used_maps 1
HALF_LOCKED2 &pool->lock

kernel/bpf/core.c bpf_prog_map_compatible() -> bpf_prog_is_dev_bound()

Type Parameter Key Value
PREEMPT_ADD