Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/fixups.c bpf_convert_ctx_accesses() -> adjust_jmp_off()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->aux | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| 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 |
| PARAM_VALUE | 1 | tgt_idx | 0 |
| PARAM_VALUE | 2 | delta | 1-u32max |
| BUF_SIZE | 0 | prog | (-1)-s32max |
| BUF_SIZE | 0 | prog | (-1)-s32max |
| NO_OVERFLOW_SIMPLE | 0 | prog->len |
kernel/bpf/fixups.c bpf_do_misc_fixups() -> adjust_jmp_off()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->aux->stack_depth | 0-u16max |
| PARAM_VALUE | 0 | prog->insnsi | 4096-ptr_max |
| PARAM_VALUE | 2 | delta | 1-2 |
| NO_OVERFLOW_SIMPLE | 0 | prog->len | |
| UNITS | 1 | tgt_idx | unit_array_size |