Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/relo_core.c bpf_core_calc_relo() -> bpf_core_calc_field_relo()

Type Parameter Key Value
PARAM_VALUE 0 prog_name 4096-ptr_max
PARAM_VALUE 0 prog_name->level 0-4294967295
PARAM_VALUE 1 relo 1120792129295384576
PARAM_VALUE 1 relo->kind 0-5
PARAM_VALUE 2 spec 4096-ptr_max
PARAM_VALUE 2 spec->btf 4096-ptr_max
PARAM_VALUE 2 spec->len 1-s32max
PARAM_VALUE 2 spec->raw_len 1-s32max
PARAM_VALUE 2 spec->relo_kind 0
PARAM_VALUE 2 spec->root_type_id 0
PARAM_VALUE 2 *spec->raw_spec 0-s32max
PARAM_VALUE 3 val 896896266436231168,8611842100044165120
PARAM_VALUE 3 *val 0
PARAM_VALUE 4 field_sz 896896266436231188,8611842100044165140
PARAM_VALUE 4 *field_sz 0
PARAM_VALUE 5 type_id 896896266436231192,8611842100044165144
PARAM_VALUE 5 *type_id 0
PARAM_VALUE 6 validate 896896266436231184,8611842100044165136
PARAM_VALUE 6 *validate 1
BUF_SIZE 0 prog_name 1064
BUF_SIZE 0 prog_name 1064
BUF_SIZE 2 spec 3936
BUF_SIZE 2 spec 3936
CAPPED_DATA 1 relo->type_id 1
CAPPED_DATA 2 spec->btf->start_id 1
CAPPED_DATA 2 spec->len 1
CAPPED_DATA 2 spec->raw_len 1
DATA_SOURCE 0 prog_name $0
DATA_SOURCE 1 relo $1
DATA_SOURCE 2 spec $3
NOSPEC 2 spec->root_type_id
MEM_ZERO 2 spec
USER_DATA 1 relo->access_str_off 0-u32max
USER_DATA 1 relo->insn_off 0-u32max
USER_DATA 1 relo->type_id 0-u32max[c]
USER_DATA 2 spec->root_type_id 0[c]
HALF_LOCKED2 global &cand_cache_mutex

kernel/bpf/relo_core.c bpf_core_calc_relo() -> bpf_core_calc_field_relo()

Type Parameter Key Value
PARAM_VALUE 0 prog_name 4096-ptr_max
PARAM_VALUE 0 prog_name->level 0-4294967295
PARAM_VALUE 1 relo 1120792129295384576
PARAM_VALUE 1 relo->kind 0-5
PARAM_VALUE 2 spec 0,4096-ptr_max
PARAM_VALUE 2 spec->len 0
PARAM_VALUE 2 spec->raw_len 0
PARAM_VALUE 2 spec->relo_kind 0
PARAM_VALUE 2 *spec->raw_spec s32min-s32max
PARAM_VALUE 3 val 896896266436231176,8611842100044165128
PARAM_VALUE 3 *val 0
PARAM_VALUE 4 field_sz 896896266436231196,8611842100044165148
PARAM_VALUE 4 *field_sz 0
PARAM_VALUE 5 type_id 896896266436231200,8611842100044165152
PARAM_VALUE 5 *type_id 0
PARAM_VALUE 6 validate 0
BUF_SIZE 0 prog_name 1064
BUF_SIZE 0 prog_name 1064
BUF_SIZE 2 spec (-1),2624
BUF_SIZE 2 spec (-1),2624
CAPPED_DATA 1 relo->type_id 1
DATA_SOURCE 0 prog_name $0
DATA_SOURCE 1 relo $1
DATA_SOURCE 2 spec $4
USER_DATA 1 relo->access_str_off 0-u32max
USER_DATA 1 relo->insn_off 0-u32max
USER_DATA 1 relo->type_id 0-u32max[c]
HALF_LOCKED2 global &cand_cache_mutex