Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/offload.c bpf_prog_offload_compile() -> bpf_prog_offload_translate()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->aux 4096-ptr_max
PARAM_VALUE 0 prog->aux->dst_mutex.first_waiter 0
PARAM_VALUE 0 prog->aux->dst_mutex.magic 4096-ptr_max
PARAM_VALUE 0 prog->aux->dst_mutex.osq.tail.counter 0
PARAM_VALUE 0 prog->aux->dst_mutex.owner.counter 0
PARAM_VALUE 0 prog->aux->ext_mutex.first_waiter 0
PARAM_VALUE 0 prog->aux->ext_mutex.magic 4096-ptr_max
PARAM_VALUE 0 prog->aux->ext_mutex.osq.tail.counter 0
PARAM_VALUE 0 prog->aux->ext_mutex.owner.counter 0
PARAM_VALUE 0 prog->aux->ksym.lnode.next 4096-ptr_max
PARAM_VALUE 0 prog->aux->ksym.lnode.next->next 4096-ptr_max
PARAM_VALUE 0 prog->aux->ksym.lnode.prev 4096-ptr_max
PARAM_VALUE 0 prog->aux->ksym.lnode.prev->next 4096-ptr_max
PARAM_VALUE 0 prog->aux->ksym.lnode.prev->prev 4096-ptr_max
PARAM_VALUE 0 prog->aux->main_prog_aux 4096-ptr_max
PARAM_VALUE 0 prog->aux->offload_requested 1
PARAM_VALUE 0 prog->aux->prog 4096-ptr_max
PARAM_VALUE 0 prog->aux->prog->active 4096-ptr_max
PARAM_VALUE 0 prog->aux->prog->aux 4096-ptr_max
PARAM_VALUE 0 prog->aux->sig.keyring_type 0-4
PARAM_VALUE 0 prog->aux->sig.verdict 0-1
PARAM_VALUE 0 prog->aux->st_ops_assoc_mutex.magic 4096-ptr_max
PARAM_VALUE 0 prog->aux->used_maps_mutex.first_waiter 0
PARAM_VALUE 0 prog->aux->used_maps_mutex.magic 4096-ptr_max
PARAM_VALUE 0 prog->bpf_func 4788167688092205056
PARAM_VALUE 0 prog->insnsi->code 0-255
PARAM_VALUE 0 prog->insnsi->dst_reg 0-15
PARAM_VALUE 0 prog->insnsi->imm s32min-s32max
PARAM_VALUE 0 prog->insnsi->off s16min-s16max
PARAM_VALUE 0 prog->insnsi->src_reg 0-15
BUF_SIZE 0 prog (-1)-s32max
BUF_SIZE 0 prog (-1)-s32max
DATA_SOURCE 0 prog $0
BIT_INFO 0 prog->len 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 prog->aux->prog->len 1-4096[c]
NO_OVERFLOW_SIMPLE 0 prog->aux->prog->len
NO_OVERFLOW_SIMPLE 0 prog->len
USER_PTR 0 prog->insns