Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:__find_good_pkt_pointers

Proto:static void __find_good_pkt_pointers(struct bpf_func_state *state, struct bpf_reg_state *dst_reg, enum bpf_reg_type type, u16 new_range)

Type:void

Parameter:

TypeParameterName
struct bpf_func_state *state
struct bpf_reg_state *dst_reg
enum bpf_reg_typetype
u16new_range
5332  When i < BPF has 10 general purpose 64-bit registers and stack frame. cycle
5333  reg = regs[i]
5334  If Ordering of fields matters. See states_equal() == type && For PTR_TO_PACKET, used to find other pointers with the same variable * offset, so they can share range knowledge. * For PTR_TO_MAP_VALUE_OR_NULL this is used to share which map value we * came from, when one is tested for != NULL. * For PTR_TO_SOCKET thi == For PTR_TO_PACKET, used to find other pointers with the same variable * offset, so they can share range knowledge. * For PTR_TO_MAP_VALUE_OR_NULL this is used to share which map value we * came from, when one is tested for != NULL. * For PTR_TO_SOCKET thi Then valid when type == PTR_TO_PACKET = max - return maximum of two values of the same or compatible types*@x: first value*@y: second value( valid when type == PTR_TO_PACKET , new_range)
5340  If Not reg Then Continue
5342  If Ordering of fields matters. See states_equal() == type && For PTR_TO_PACKET, used to find other pointers with the same variable * offset, so they can share range knowledge. * For PTR_TO_MAP_VALUE_OR_NULL this is used to share which map value we * came from, when one is tested for != NULL. * For PTR_TO_SOCKET thi == For PTR_TO_PACKET, used to find other pointers with the same variable * offset, so they can share range knowledge. * For PTR_TO_MAP_VALUE_OR_NULL this is used to share which map value we * came from, when one is tested for != NULL. * For PTR_TO_SOCKET thi Then valid when type == PTR_TO_PACKET = max - return maximum of two values of the same or compatible types*@x: first value*@y: second value( valid when type == PTR_TO_PACKET , new_range)
Caller
NameDescribe
find_good_pkt_pointers