idstack_push 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/verifier.c, line 8959 (as a function)

Referenced in 1 files:

kernel/bpf/verifier.c
- line 8997
- line 9025

Smatch caller information:

kernel/bpf/verifier.c release_reference() -> idstack_push()

Type	Parameter	Key	Value
PARAM_VALUE	0	idmap	4096-ptr_max
PARAM_VALUE	0	idmap->cnt	0
BUF_SIZE	0	idmap	10504
DATA_SOURCE	1	id	$1

kernel/bpf/verifier.c release_reference() -> idstack_push()

Type	Parameter	Key	Value
PARAM_VALUE	0	idmap	4096-ptr_max
PARAM_VALUE	0	idmap->cnt	0-3
BUF_SIZE	0	idmap	10504

kernel/bpf/verifier.c release_reference() -> idstack_push()

Type	Parameter	Key	Value
PARAM_VALUE	0	idmap	4096-ptr_max
PARAM_VALUE	0	idmap->cnt	0-4
BUF_SIZE	0	idmap	10504

kernel/bpf/verifier.c release_reference() -> idstack_push()

Type	Parameter	Key	Value
PARAM_VALUE	0	idmap	4096-ptr_max
PARAM_VALUE	0	idmap->cnt	0-5
BUF_SIZE	0	idmap	10504