Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c check_ptr_to_btf_access() -> is_rcu_reg()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
BUF_SIZE 0 reg (-1),880
BUF_SIZE 0 reg (-1),880
CAPPED_DATA 0 reg->btf->start_id 1
DATA_SOURCE 0 reg $2
PARAM_COMPARE 0 reg->btf->start_id <= $0->btf_id
BIT_INFO 0 reg->type 0x0,0xffffe7ff

kernel/bpf/verifier.c mark_ptr_or_null_reg() -> is_rcu_reg()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 0 reg->type 256-u32max
BUF_SIZE 0 reg (-1),80
BUF_SIZE 0 reg (-1),80
CAPPED_DATA 0 reg->id 1
DATA_SOURCE 0 reg $1