Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c bpf_map_direct_read() -> (struct bpf_map_ops)->map_direct_value_addr()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->frozen 1
PARAM_VALUE 0 map->map_flags 128-u32max
PARAM_VALUE 0 map->map_type 0-33,35-u32max
PARAM_VALUE 0 map->ops 4096-ptr_max
PARAM_VALUE 0 map->ops->map_direct_value_addr 8450031166678994944,8623194018121613312,8907966814383271936
PARAM_VALUE 0 map->writecnt.counter 0
PARAM_VALUE 1 imm 1588375652432072704
DATA_SOURCE 0 map $0
DATA_SOURCE 2 off $1
CONTAINER 0 -232-32+0 $(-1)

kernel/bpf/verifier.c bpf_prog_verify_signature() -> (struct bpf_map_ops)->map_direct_value_addr()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->ops 4096-ptr_max
PARAM_VALUE 1 imm 6456617340536238080
PARAM_VALUE 2 off 0
CONTAINER 0 -232-32+0 $(-1)

kernel/bpf/verifier.c check_arg_const_str() -> (struct bpf_map_ops)->map_direct_value_addr()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->frozen 1
PARAM_VALUE 0 map->map_flags 128-u32max
PARAM_VALUE 0 map->map_type 0-33,35-u32max
PARAM_VALUE 0 map->ops 4096-ptr_max
PARAM_VALUE 0 map->ops->map_direct_value_addr 8450031166678994944,8623194018121613312,8907966814383271936
PARAM_VALUE 0 map->writecnt.counter 0
PARAM_VALUE 1 imm 5093101041925885952
CONTAINER 0 -232-32+0 $(-1)

kernel/bpf/verifier.c check_bpf_snprintf_call() -> (struct bpf_map_ops)->map_direct_value_addr()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->ops 4096-ptr_max
PARAM_VALUE 1 imm 1007666702127218688
CONTAINER 0 -232-32+0 $(-1)