Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/states.c check_scalar_ids() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 0 old_id 1-u32max
PARAM_VALUE 2 idmap 4096-ptr_max
DATA_SOURCE 0 old_id $0
DATA_SOURCE 2 idmap $2

kernel/bpf/states.c check_scalar_ids() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 0 old_id 0-1073741823
PARAM_VALUE 1 cur_id 0-1073741823
PARAM_VALUE 2 idmap 4096-ptr_max
DATA_SOURCE 0 old_id $0 [m]
DATA_SOURCE 1 cur_id $1 [m]
DATA_SOURCE 2 idmap $2

kernel/bpf/states.c refsafe() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 2 idmap 4096-ptr_max
PARAM_VALUE 2 idmap->cnt 0
DATA_SOURCE 2 idmap $2

kernel/bpf/states.c refsafe() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 2 idmap 4096-ptr_max
PARAM_VALUE 2 idmap->cnt 0-1312
DATA_SOURCE 2 idmap $2

kernel/bpf/states.c refsafe() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 2 idmap 4096-ptr_max
PARAM_VALUE 2 idmap->cnt 0-1312
DATA_SOURCE 2 idmap $2

kernel/bpf/states.c refsafe() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 2 idmap 4096-ptr_max
PARAM_VALUE 2 idmap->cnt 0-1312
DATA_SOURCE 2 idmap $2

kernel/bpf/states.c regs_exact() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 2 idmap 4096-ptr_max
DATA_SOURCE 2 idmap $2

kernel/bpf/states.c regs_exact() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 2 idmap 4096-ptr_max
DATA_SOURCE 2 idmap $2

kernel/bpf/states.c regsafe() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 2 idmap 4096-ptr_max
DATA_SOURCE 2 idmap $3

kernel/bpf/states.c regsafe() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 2 idmap 4096-ptr_max
DATA_SOURCE 2 idmap $3

kernel/bpf/states.c regsafe() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 2 idmap 4096-ptr_max
DATA_SOURCE 2 idmap $3

kernel/bpf/states.c stacksafe() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 2 idmap 4096-ptr_max
DATA_SOURCE 2 idmap $3

kernel/bpf/states.c stacksafe() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 2 idmap 4096-ptr_max
DATA_SOURCE 2 idmap $3

kernel/bpf/states.c stacksafe() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 2 idmap 4096-ptr_max
DATA_SOURCE 2 idmap $3

kernel/bpf/states.c stacksafe() -> check_ids()

Type Parameter Key Value
PARAM_VALUE 2 idmap 4096-ptr_max
DATA_SOURCE 2 idmap $3