Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/trampoline.c bpf_trampoline_update() -> (struct bpf_trampoline_ops)->register_fentry()

Type Parameter Key Value
PARAM_VALUE 0 tr 4096-ptr_max
PARAM_VALUE 0 tr->cur_image 0
PARAM_VALUE 0 tr->flags 1-278
PARAM_VALUE 1 im 4096-ptr_max
PARAM_VALUE 1 im->image 1-u64max
PARAM_VALUE 1 im->ip_after_call 4096-ptr_max
PARAM_VALUE 1 im->ip_epilogue 4096-ptr_max
PARAM_VALUE 1 im->ksym.lnode.next->next 4096-ptr_max
PARAM_VALUE 1 im->ksym.lnode.prev 4096-ptr_max
PARAM_VALUE 1 im->ksym.lnode.prev->next 4096-ptr_max
PARAM_VALUE 1 im->ksym.lnode.prev->prev 4096-ptr_max
PARAM_VALUE 1 im->pcref.data 4096-ptr_max
PARAM_VALUE 1 im->pcref.data->confirm_switch 0
PARAM_VALUE 1 im->pcref.data->count.counter s64min-(-9223372036854775807),0-s64max
PARAM_VALUE 1 im->pcref.data->ref 4096-ptr_max
PARAM_VALUE 1 im->pcref.percpu_count_ptr 4096-18446744073709547523
PARAM_VALUE 1 im->size 0-4096
PARAM_VALUE 2 data 0,4096-ptr_max
BUF_SIZE 0 tr (-1),184
BUF_SIZE 0 tr (-1),184
BUF_SIZE 1 im 736
BUF_SIZE 2 data (-1),32
BUF_SIZE 2 data (-1),32
CAPPED_DATA 0 tr->func.model.nr_args 1
CAPPED_DATA 1 im->size 1
DATA_SOURCE 0 tr $0
DATA_SOURCE 1 im r bpf_tramp_image_alloc
DATA_SOURCE 2 data $3
BIT_INFO 0 tr->flags 0x0,0xef
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &direct_mutex