Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c check_atomic_load() -> check_load_mem()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->cur_state 4096-ptr_max
PARAM_VALUE 0 env->prog->insnsi 4096-ptr_max
PARAM_VALUE 1 insn 4096-ptr_max
PARAM_VALUE 1 insn->imm 256
PARAM_VALUE 2 strict_alignment_once 1
PARAM_VALUE 3 is_ldsx 0
PARAM_VALUE 4 allow_trust_mismatch 0
PARAM_VALUE 5 ctx 58341005257363456
BUF_SIZE 5 ctx 12
DATA_SOURCE 0 env $0
DATA_SOURCE 1 insn $1
STR_LEN 0 env 11
TERMINATED 5 ctx 1

kernel/bpf/verifier.c do_check_insn() -> check_load_mem()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->prog->insnsi 4096-ptr_max
PARAM_VALUE 1 insn 4096-ptr_max
PARAM_VALUE 2 strict_alignment_once 0
PARAM_VALUE 4 allow_trust_mismatch 1
PARAM_VALUE 5 ctx 7261901460210929664
BUF_SIZE 5 ctx 4
DATA_SOURCE 0 env $0
STR_LEN 0 env 3
TERMINATED 5 ctx 1