Defined in 4 files as a function:
- arch/loongarch/net/bpf_jit.c, line 1762 (as a function)
- arch/riscv/net/bpf_jit_comp64.c, line 969 (as a function)
- arch/s390/net/bpf_jit_comp.c, line 2647 (as a function)
- arch/x86/net/bpf_jit_comp.c, line 3314 (as a function)
Referenced in 4 files:
- arch/loongarch/net/bpf_jit.c
- arch/riscv/net/bpf_jit_comp64.c
- arch/s390/net/bpf_jit_comp.c
- arch/x86/net/bpf_jit_comp.c
Smatch caller information:
arch/x86/net/bpf_jit_comp.c __arch_prepare_bpf_trampoline() -> invoke_bpf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 1 | pprog | 2078214645356564480 |
| PARAM_VALUE | 2 | tl | 4096-ptr_max |
| PARAM_VALUE | 2 | tl->nr_nodes | s32min-(-1),1-s32max |
| PARAM_VALUE | 7 | image | 1-u64max |
| PARAM_VALUE | 8 | rw_image | 1-u64max |
| PARAM_VALUE | 9 | func_meta | 0-12 |
| BUF_SIZE | 2 | tl | 936 |
| BUF_SIZE | 2 | tl | 936 |
| BUF_SIZE | 8 | rw_image | (-1)-s32max |
| BUF_SIZE | 8 | rw_image | (-1)-s32max |
| CAPPED_DATA | 0 | m->nr_args | 1 |
| DATA_SOURCE | 0 | m | $4 |
| DATA_SOURCE | 7 | image | $3 |
| DATA_SOURCE | 8 | rw_image | $1 |
| PARAM_COMPARE | 3 | stack_size | < $5 |
| PARAM_COMPARE | 4 | run_ctx_off | > $10 |
| PARAM_COMPARE | 5 | func_meta_off | > $3 |
| PARAM_COMPARE | 9 | func_meta | == $0->nr_args |
| PARAM_COMPARE | 9 | func_meta | == $0->nr_args |
| PARAM_COMPARE | 10 | cookie_off | < $4 |
| BIT_INFO | 6 | save_ret | 0x0,0x10 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 7 | image | unit_byte |
arch/x86/net/bpf_jit_comp.c __arch_prepare_bpf_trampoline() -> invoke_bpf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 1 | pprog | 2078214645356564480 |
| PARAM_VALUE | 2 | tl | 4096-ptr_max |
| PARAM_VALUE | 2 | tl->nr_nodes | s32min-(-1),1-s32max |
| PARAM_VALUE | 6 | save_ret | 0 |
| PARAM_VALUE | 7 | image | 1-u64max |
| PARAM_VALUE | 8 | rw_image | 1-u64max |
| PARAM_VALUE | 9 | func_meta | 9223372036854775808-9223372036854775820 |
| BUF_SIZE | 2 | tl | 624 |
| BUF_SIZE | 2 | tl | 624 |
| BUF_SIZE | 8 | rw_image | (-1)-s32max |
| BUF_SIZE | 8 | rw_image | (-1)-s32max |
| CAPPED_DATA | 0 | m->nr_args | 1 |
| DATA_SOURCE | 0 | m | $4 |
| DATA_SOURCE | 7 | image | $3 |
| DATA_SOURCE | 8 | rw_image | $1 |
| PARAM_COMPARE | 3 | stack_size | < $5 |
| PARAM_COMPARE | 4 | run_ctx_off | > $10 |
| PARAM_COMPARE | 5 | func_meta_off | > $3 |
| PARAM_COMPARE | 10 | cookie_off | < $4 |
| BIT_INFO | 9 | func_meta | 0x8000000000000000,0x800000000000000f |
| BIT_INFO | 9 | func_meta | 0x8000000000000000,0x800000000000000f |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 7 | image | unit_byte |