Defined in 3 files as a function:
- arch/arm64/net/bpf_jit_comp.c, line 2072 (as a function)
- arch/powerpc/net/bpf_jit_comp.c, line 146 (as a function)
- arch/x86/net/bpf_jit_comp.c, line 3914 (as a function)
Referenced in 3 files:
- arch/arm64/net/bpf_jit_comp.c, line 3254
- arch/powerpc/net/bpf_jit_comp.c, line 501
- arch/x86/net/bpf_jit_comp.c, line 4194
Smatch caller information:
arch/x86/net/bpf_jit_comp.c bpf_jit_free() -> priv_stack_check_guard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | priv_stack_ptr | 1-u64max |
| PARAM_VALUE | 2 | prog | 4096-ptr_max |
| PARAM_VALUE | 2 | prog->aux | 4096-ptr_max |
| PARAM_VALUE | 2 | prog->aux->jit_data | 0,4096-ptr_max |
| PARAM_VALUE | 2 | prog->aux->priv_stack_ptr | 1-u64max |
| PARAM_VALUE | 2 | prog->jited | 1 |
| BUF_SIZE | 0 | priv_stack_ptr | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | priv_stack_ptr | s32min-(-2),1-s32max |
| DATA_SOURCE | 2 | prog | $0 |
| NOCHECK_CALL |