Defined in 2 files as a function:

Referenced in 8 files:

Smatch caller information:

net/core/filter.c xdp_is_valid_access() -> bpf_prog_is_offloaded()

Type Parameter Key Value

kernel/bpf/syscall.c bpf_prog_get_info_by_fd() -> bpf_prog_is_offloaded()

Type Parameter Key Value
PARAM_VALUE 0 aux 4096-ptr_max
CAPPED_DATA 0 &aux->used_maps_mutex 1

kernel/bpf/syscall.c bpf_prog_get_ok() -> bpf_prog_is_offloaded()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/syscall.c find_prog_type() -> bpf_prog_is_offloaded()

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/fixups.c bpf_convert_ctx_accesses() -> bpf_prog_is_offloaded()

Type Parameter Key Value

kernel/bpf/fixups.c bpf_fixup_call_args() -> bpf_prog_is_offloaded()

Type Parameter Key Value

kernel/bpf/fixups.c bpf_opt_hard_wire_dead_code_branches() -> bpf_prog_is_offloaded()

Type Parameter Key Value

kernel/bpf/fixups.c verifier_remove_insns() -> bpf_prog_is_offloaded()

Type Parameter Key Value

drivers/net/netdevsim/bpf.c nsim_prog_set_loaded() -> bpf_prog_is_offloaded()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 global &rtnl_mutex

drivers/net/netdevsim/bpf.c nsim_setup_prog_hw_checks() -> bpf_prog_is_offloaded()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 global &rtnl_mutex

kernel/bpf/offload.c __bpf_prog_dev_bound_init() -> bpf_prog_is_offloaded()

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
LOCK2 global &bpf_devs_lock

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

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_offloaded()

Type Parameter Key Value
PARAM_VALUE 0 aux 4096-ptr_max

kernel/bpf/offload.c bpf_prog_dev_bound_match() -> bpf_prog_is_offloaded()

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

kernel/bpf/offload.c bpf_prog_dev_bound_match() -> bpf_prog_is_offloaded()

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

kernel/bpf/verifier.c check_map_prog_compatibility() -> bpf_prog_is_offloaded()

Type Parameter Key Value
PARAM_VALUE 0 aux 4096-ptr_max

kernel/bpf/core.c __bpf_prog_select_runtime() -> bpf_prog_is_offloaded()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 aux->prog->len 1-4096[c]
NO_OVERFLOW_SIMPLE 0 aux->prog->len