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

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

kernel/bpf/fixups.c, line 523 (as a function)

Referenced in 1 files:

kernel/bpf/fixups.c
- line 613
- line 636

Smatch caller information:

kernel/bpf/fixups.c bpf_opt_remove_dead_code() -> verifier_remove_insns()

Type	Parameter	Key	Value
PARAM_VALUE	0	env	4096-ptr_max
PARAM_VALUE	0	env->prog	4096-ptr_max
PARAM_VALUE	1	off	0-s32max
PARAM_VALUE	2	cnt	1-s32max
CAPPED_DATA	1	off	1
DATA_SOURCE	0	env	$0
UNITS	1	off	unit_array_size
UNITS	2	cnt	unit_array_size

kernel/bpf/fixups.c bpf_opt_remove_nops() -> verifier_remove_insns()

Type	Parameter	Key	Value
PARAM_VALUE	0	env	4096-ptr_max
PARAM_VALUE	0	env->prog	4096-ptr_max
PARAM_VALUE	1	off	0-s32max
PARAM_VALUE	2	cnt	1
CAPPED_DATA	1	off	1
DATA_SOURCE	0	env	$0
UNITS	1	off	unit_array_size