bpf_insn_array_init 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.h, line 4156 (as a prototype)

Defined in 1 files as a function:

kernel/bpf/bpf_insn_array.c, line 183 (as a function)

Referenced in 1 files:

kernel/bpf/verifier.c, line 17893

Smatch caller information:

kernel/bpf/verifier.c __add_used_map() -> bpf_insn_array_init()

Type	Parameter	Key	Value
PARAM_VALUE	0	map	4096-ptr_max
PARAM_VALUE	0	map->map_type	34
PARAM_VALUE	0	map->record	0,4096-u64max
PARAM_VALUE	1	prog	4096-ptr_max
PARAM_VALUE	1	prog->aux	4096-ptr_max
PARAM_VALUE	1	prog->aux->arena	4096-ptr_max
PARAM_VALUE	1	prog->jit_required	1
PARAM_VALUE	1	*prog->digest	0-255
BUF_SIZE	0	map	s32min-(-1),1-s32max
BUF_SIZE	0	map	s32min-(-1),1-s32max
CAPPED_DATA	0	map	1
DATA_SOURCE	0	map	$1