bpf_bt_sync_linked_regs identifier - Linux source code next-20260811 - Bootlin Elixir Cross Referencer

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/bpf_verifier.h, line 1200 (as a prototype)

Defined in 1 files as a function:

kernel/bpf/verifier.c, line 3231 (as a function)

Referenced in 1 files:

kernel/bpf/backtrack.c
- line 295
- line 601

Smatch caller information:

kernel/bpf/backtrack.c backtrack_insn() -> bpf_bt_sync_linked_regs()

Type	Parameter	Key	Value
PARAM_VALUE	0	bt	4096-ptr_max
PARAM_VALUE	0	*bt->reg_masks	0-4294967295
BUF_SIZE	0	bt	224
CAPPED_DATA	0	bt->frame	1
DATA_SOURCE	0	bt	$4
DATA_SOURCE	1	hist	$3
NOCHECK_CALL

kernel/bpf/backtrack.c backtrack_insn() -> bpf_bt_sync_linked_regs()

Type	Parameter	Key	Value
PARAM_VALUE	0	bt	4096-ptr_max
PARAM_VALUE	0	*bt->reg_masks	0-4294967295
PARAM_VALUE	1	hist	0,4096-ptr_max
BUF_SIZE	0	bt	224
DATA_SOURCE	0	bt	$4
DATA_SOURCE	1	hist	$3
NOCHECK_CALL