scalar_reg_for_stack 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/states.c, line 690 (as a function)

Referenced in 1 files:

kernel/bpf/states.c
- line 753
- line 754

Smatch caller information:

kernel/bpf/states.c stacksafe() -> scalar_reg_for_stack()

Type	Parameter	Key	Value
PARAM_VALUE	0	env	4096-ptr_max
PARAM_VALUE	1	stack	4096-ptr_max
PARAM_VALUE	2	im	0,4
BUF_SIZE	0	env->cur_state	232
CAPPED_DATA	0	env->insn_idx	1
CAPPED_DATA	0	env->prev_insn_idx	1
CAPPED_DATA	2	im	1
DATA_SOURCE	0	env	$0
FUZZY_MAX	2	im	4
BIT_INFO	0	env->prev_insn_idx	0x0,0x7fffffff

kernel/bpf/states.c stacksafe() -> scalar_reg_for_stack()

Type	Parameter	Key	Value
PARAM_VALUE	0	env	4096-ptr_max
PARAM_VALUE	1	stack	4096-ptr_max
PARAM_VALUE	2	im	0,4
BUF_SIZE	0	env->cur_state	232
CAPPED_DATA	0	env->insn_idx	1
CAPPED_DATA	0	env->prev_insn_idx	1
CAPPED_DATA	2	im	1
DATA_SOURCE	0	env	$0
FUZZY_MAX	2	im	4
BIT_INFO	0	env->prev_insn_idx	0x0,0x7fffffff