Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-28 12:56:32
Last Modify:2022-05-19 20:02:10 Copyright©Brick
home page Tree
Annotation kernel can get tool activityDownload SCCTChinese

Name:reg_is_pkt_pointer

Proto:static bool reg_is_pkt_pointer(const struct bpf_reg_state *reg)

Type:bool

Parameter:

TypeParameterName
const struct bpf_reg_state *reg
957  Return type_is_pkt_pointer( Ordering of fields matters. See states_equal() )
Caller
NameDescribe
reg_is_pkt_pointer_any
check_mem_accessheck whether memory at (regno + off) is accessible for t = (read | write)* if t==write, value_regno is a register which value is stored into memory* if t==read, value_regno is a register which will receive the value from memory* if t==write &&
adjust_ptr_min_max_valsHandles arithmetic on a pointer and a scalar: computes new min/max and var_off.* Caller should also handle BPF_MOV case separately.* If we return -EACCES, caller may want to try again treating pointer as a* scalar