reg_is_pkt_pointer 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 1898 (as a function)

Referenced in 1 files:

kernel/bpf/verifier.c

Smatch caller information:

kernel/bpf/verifier.c adjust_ptr_min_max_vals() -> reg_is_pkt_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
PARAM_VALUE	0	reg->type	0,2-17,19-u32max
CAPPED_DATA	0	reg	1
DATA_SOURCE	0	reg	$2
BIT_INFO	0	reg->type	0x0,0xfffffeff

kernel/bpf/verifier.c adjust_ptr_min_max_vals() -> reg_is_pkt_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
PARAM_VALUE	0	reg->type	0,2-5,7-17,19-u32max
CAPPED_DATA	0	reg	1
DATA_SOURCE	0	reg	$2
BIT_INFO	0	reg->type	0x0,0xfffffeff

kernel/bpf/verifier.c check_mem_access() -> reg_is_pkt_pointer()

Type	Parameter	Key	Value
PARAM_VALUE	0	reg	4096-ptr_max
PARAM_VALUE	0	reg->type	0-1,3,7-u32max
DATA_SOURCE	0	reg	$2

kernel/bpf/verifier.c reg_is_pkt_pointer_any() -> reg_is_pkt_pointer()

Type	Parameter	Key	Value
BUF_SIZE	0	reg	(-1),80
BUF_SIZE	0	reg	(-1),80
DATA_SOURCE	0	reg	$0