Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:If in the old state two registers had the same id, then they need to have* the same id in the new state as well

Proto:static bool check_ids(u32 old_id, u32 cur_id, struct idpair *idmap)

Type:bool

Parameter:

TypeParameterName
u32old_id
u32cur_id
struct idpair *idmap
6969  When i < Maximum number of register states that can exist at once cycle
6970  If Not old Then
6972  old = old_id
6973  cur = cur_id
6974  Return true
6976  If old == old_id Then Return cur == cur_id
6980  WARN_ON_ONCE(1)
6981  Return false
Caller
NameDescribe
regsafeReturns true if (rold safe implies rcur safe)