Defined in 6 files as a function:

Referenced in 6 files:

Smatch caller information:

arch/x86/net/bpf_jit_comp.c invoke_bpf() -> invoke_bpf_prog()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 1 pprog 2905414363514216448
PARAM_VALUE 2 node 4096-ptr_max
PARAM_VALUE 2 node->link 4096-ptr_max
PARAM_VALUE 6 image 1-u64max
PARAM_VALUE 7 rw_image 1-u64max
BUF_SIZE 7 rw_image (-1)-s32max
BUF_SIZE 7 rw_image (-1)-s32max
CAPPED_DATA 0 m->nr_args 1
DATA_SOURCE 0 m $0
DATA_SOURCE 3 stack_size $3
DATA_SOURCE 4 run_ctx_off $4
DATA_SOURCE 5 save_ret $6
DATA_SOURCE 6 image $7
DATA_SOURCE 7 rw_image $8
BIT_INFO 5 save_ret 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
UNITS 6 image unit_byte

arch/x86/net/bpf_jit_comp.c invoke_bpf_mod_ret() -> invoke_bpf_prog()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 1 pprog 5535010251080089600
PARAM_VALUE 5 save_ret 1
PARAM_VALUE 6 image 1-u64max
PARAM_VALUE 7 rw_image 1-u64max
BUF_SIZE 7 rw_image (-1)-s32max
BUF_SIZE 7 rw_image (-1)-s32max
CAPPED_DATA 0 m->nr_args 1
DATA_SOURCE 0 m $0
DATA_SOURCE 3 stack_size $3
DATA_SOURCE 4 run_ctx_off $4
DATA_SOURCE 6 image $6
DATA_SOURCE 7 rw_image $7
RX_PATH
TASK_NOT_RUNNING
UNITS 6 image unit_byte