btf_struct_ids_match 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 3151 (as a prototype)

Defined in 1 files as a function:

kernel/bpf/btf.c, line 7473 (as a function)

Referenced in 1 files:

kernel/bpf/verifier.c

Smatch caller information:

kernel/bpf/verifier.c __process_kf_arg_ptr_to_graph_node() -> btf_struct_ids_match()

Type	Parameter	Key	Value
PARAM_VALUE	0	log	4096-ptr_max
PARAM_VALUE	3	off	0
PARAM_VALUE	6	strict	1
CAPPED_DATA	1	btf->start_id	1
CAPPED_DATA	4	need_btf->start_id	1
PARAM_COMPARE	1	btf->start_id	<= $2
PARAM_COMPARE	2	id	>= $1->start_id
PARAM_COMPARE	4	need_btf->start_id	<= $5
PARAM_COMPARE	5	need_type_id	>= $4->start_id
UNITS	2	id	unit_array_size
UNITS	5	need_type_id	unit_array_size

kernel/bpf/verifier.c check_reg_type() -> btf_struct_ids_match()

Type	Parameter	Key	Value
PARAM_VALUE	0	log	4096-ptr_max
UNITS	2	id	unit_array_size
UNITS	3	off	unit_byte

kernel/bpf/verifier.c map_kptr_match_type() -> btf_struct_ids_match()

Type	Parameter	Key	Value
PARAM_VALUE	0	log	4096-ptr_max
PARAM_VALUE	1	btf	4096-ptr_max
PARAM_VALUE	1	btf->kernel_btf	0-1
PARAM_VALUE	4	need_btf	4096-ptr_max
CAPPED_DATA	1	btf->start_id	1
CAPPED_DATA	4	need_btf->start_id	1
PARAM_COMPARE	1	btf->start_id	<= $2
PARAM_COMPARE	2	id	>= $1->start_id
PARAM_COMPARE	4	need_btf->start_id	<= $5
PARAM_COMPARE	5	need_type_id	>= $4->start_id
UNITS	2	id	unit_array_size
UNITS	3	off	unit_byte
UNITS	5	need_type_id	unit_array_size

kernel/bpf/verifier.c process_kf_arg_ptr_to_btf_id() -> btf_struct_ids_match()

Type	Parameter	Key	Value
PARAM_VALUE	0	log	4096-ptr_max
PARAM_VALUE	1	btf	4096-ptr_max
DATA_SOURCE	5	need_type_id	$4
NOSPEC	2	id
UNITS	2	id	unit_array_size
UNITS	3	off	unit_byte
UNITS	5	need_type_id	unit_array_size