Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:Reset the min/max bounds of a register

Proto:static void __mark_reg_unbounded(struct bpf_reg_state *reg)

Type:void

Parameter:

TypeParameterName
struct bpf_reg_state *reg
1051  minimum possible (s64)value = S64_MIN
1052  maximum possible (s64)value = S64_MAX
1053  minimum possible (u64)value = 0
1054  maximum possible (u64)value = U64_MAX
Caller
NameDescribe
__mark_reg_unknownMark a register as having a completely unknown (scalar) value.
adjust_scalar_min_max_valsWARNING: This function does calculations on 64-bit values, but the actual* execution may occur on 32-bit values. Therefore, things like bitshifts* need extra checks in the 32-bit case.