Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/core.c bpf_check_tail_call() -> __bpf_prog_map_compatible()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->map_type 3,14,16
PARAM_VALUE 1 fp 4096-ptr_max
PARAM_VALUE 1 fp->aux 4096-ptr_max
PARAM_VALUE 1 fp->aux->dst_mutex.first_waiter 0
PARAM_VALUE 1 fp->aux->dst_mutex.magic 4096-ptr_max
PARAM_VALUE 1 fp->aux->dst_mutex.osq.tail.counter 0
PARAM_VALUE 1 fp->aux->dst_mutex.owner.counter 0
PARAM_VALUE 1 fp->aux->ext_mutex.first_waiter 0
PARAM_VALUE 1 fp->aux->ext_mutex.magic 4096-ptr_max
PARAM_VALUE 1 fp->aux->ext_mutex.osq.tail.counter 0
PARAM_VALUE 1 fp->aux->ext_mutex.owner.counter 0
PARAM_VALUE 1 fp->aux->ksym.lnode.next 4096-ptr_max
PARAM_VALUE 1 fp->aux->ksym.lnode.next->next 4096-ptr_max
PARAM_VALUE 1 fp->aux->ksym.lnode.prev 4096-ptr_max
PARAM_VALUE 1 fp->aux->ksym.lnode.prev->next 4096-ptr_max
PARAM_VALUE 1 fp->aux->ksym.lnode.prev->prev 4096-ptr_max
PARAM_VALUE 1 fp->aux->main_prog_aux 4096-ptr_max
PARAM_VALUE 1 fp->aux->offload->dev_priv->__prog_alloc_len 0-4294967295
PARAM_VALUE 1 fp->aux->offload->dev_priv->bpf->maps_neutral.nelems.counter s32min-s32max
PARAM_VALUE 1 fp->aux->offload->dev_priv->bpf->maps_neutral.run_irq_work.node.a_flags.counter s32min-s32max
PARAM_VALUE 1 fp->aux->offload->dev_priv->bpf->maps_neutral.tbl->dep_map->name 0-255
PARAM_VALUE 1 fp->aux->offload->dev_priv->bpf->maps_neutral.tbl->hash_rnd 0-4294967295
PARAM_VALUE 1 fp->aux->offload->dev_priv->bpf->maps_neutral.tbl->nest 0-4294967295
PARAM_VALUE 1 fp->aux->offload->dev_priv->bpf->maps_neutral.tbl->size 0-4294967295
PARAM_VALUE 1 fp->aux->offload->dev_priv->error (-28),(-22),(-14),0
PARAM_VALUE 1 fp->aux->offload->dev_priv->last_bpf_off 0-4294967295
PARAM_VALUE 1 fp->aux->offload->dev_priv->n_translated 0-4294967295
PARAM_VALUE 1 fp->aux->offload->dev_priv->prog_len 0-4294967295
PARAM_VALUE 1 fp->aux->offload->dev_priv->stack_frame_depth 0-4294967295
PARAM_VALUE 1 fp->aux->offload->dev_priv->tgt_abort 0-4294967295
PARAM_VALUE 1 fp->aux->offload->dev_priv->tgt_call_pop_regs 0-4294967295
PARAM_VALUE 1 fp->aux->offload->dev_priv->tgt_call_push_regs 0-4294967295
PARAM_VALUE 1 fp->aux->offload->dev_priv->tgt_out 0-4294967295
PARAM_VALUE 1 fp->aux->offload->jited_image 16,4096-ptr_max
PARAM_VALUE 1 fp->aux->prog 4096-ptr_max
PARAM_VALUE 1 fp->aux->prog->active 1-u64max
PARAM_VALUE 1 fp->aux->prog->aux 4096-ptr_max
PARAM_VALUE 1 fp->aux->sig.keyring_type 0-4
PARAM_VALUE 1 fp->aux->sig.verdict 0-1
PARAM_VALUE 1 fp->aux->st_ops_assoc_mutex.magic 4096-ptr_max
PARAM_VALUE 1 fp->aux->used_map_cnt 1-u32max
PARAM_VALUE 1 fp->aux->used_maps 4096-ptr_max
PARAM_VALUE 1 fp->aux->used_maps_mutex.dep_map->name 0-255
PARAM_VALUE 1 fp->aux->used_maps_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 fp->aux->used_maps_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 fp->aux->used_maps_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 fp->aux->used_maps_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 fp->aux->used_maps_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 fp->aux->used_maps_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 fp->aux->used_maps_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 fp->aux->used_maps_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 fp->aux->used_maps_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 fp->aux->used_maps_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 fp->aux->used_maps_mutex.wait_lock.owner (-1)
PARAM_VALUE 1 fp->aux->used_maps_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 fp->insnsi->code 0-255
PARAM_VALUE 1 fp->insnsi->dst_reg 0-15
PARAM_VALUE 1 fp->insnsi->imm s32min-s32max
PARAM_VALUE 1 fp->insnsi->off s16min-s16max
PARAM_VALUE 1 fp->insnsi->src_reg 0-15
BUF_SIZE 1 fp (-1)-s32max
BUF_SIZE 1 fp (-1)-s32max
CAPPED_DATA 1 fp 1
CAPPED_DATA 1 fp->aux 1
DATA_SOURCE 1 fp $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 fp->aux->prog->len 1-4096[c]
NO_OVERFLOW_SIMPLE 1 fp->aux->nr_linfo
NO_OVERFLOW_SIMPLE 1 fp->aux->offload->prog->len
NO_OVERFLOW_SIMPLE 1 fp->aux->prog->len
NO_OVERFLOW_SIMPLE 1 fp->len
USER_PTR 1 fp->insns
LOCK2 &aux->used_maps_mutex
TYPE_LOCK (struct bpf_prog_aux)->used_maps_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->ops->map_update_batch 0,7911141981172039680
PARAM_VALUE 1 fp 4096-ptr_max
PARAM_VALUE 1 fp->aux 4096-ptr_max
PARAM_VALUE 1 fp->aux->dev_bound 0
BUF_SIZE 0 map s32min-(-1),1-s32max
BUF_SIZE 0 map s32min-(-1),1-s32max
BUF_SIZE 1 fp s32min-(-2),1-s32max
BUF_SIZE 1 fp s32min-(-2),1-s32max
DATA_SOURCE 0 map $0
DATA_SOURCE 1 fp $1
PREEMPT_ADD
NO_OVERFLOW_SIMPLE 0 map->key_size