Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/bpf/relo_core.c bpf_core_calc_relo_insn() -> bpf_core_format_spec()

Type Parameter Key Value
PARAM_VALUE 0 buf 9103007389173358592
PARAM_VALUE 1 buf_sz 256
PARAM_VALUE 2 spec 4096-ptr_max
PARAM_VALUE 2 spec->btf 4096-ptr_max
PARAM_VALUE 2 spec->len 0-s32max
PARAM_VALUE 2 spec->raw_len 0-s32max
PARAM_VALUE 2 *spec->raw_spec s32min-s32max
BUF_SIZE 0 buf 256
BUF_SIZE 2 spec 3936
BUF_SIZE 2 spec 3936
CAPPED_DATA 2 spec->root_type_id 1
MEM_ZERO 2 spec
NOCHECK_CALL
USER_DATA 2 spec->root_type_id 0-u32max[c]
UNITS 1 buf_sz unit_byte
HALF_LOCKED2 global &cand_cache_mutex

kernel/bpf/relo_core.c bpf_core_calc_relo_insn() -> bpf_core_format_spec()

Type Parameter Key Value
PARAM_VALUE 0 buf 9103007389173358592
PARAM_VALUE 1 buf_sz 256
PARAM_VALUE 2 spec 4096-ptr_max
PARAM_VALUE 2 spec->btf 0
PARAM_VALUE 2 spec->len 0-s32max
PARAM_VALUE 2 spec->raw_len 0-s32max
PARAM_VALUE 2 spec->relo_kind 0
PARAM_VALUE 2 *spec->raw_spec s32min-s32max
BUF_SIZE 0 buf 256
BUF_SIZE 2 spec 2624
BUF_SIZE 2 spec 2624
FUZZY_MAX 2 spec->len 0
FUZZY_MAX 2 spec->raw_len 0
MEM_ZERO 2 spec
NOCHECK_CALL
UNITS 1 buf_sz unit_byte
HALF_LOCKED2 global &cand_cache_mutex

kernel/bpf/relo_core.c bpf_core_calc_relo_insn() -> bpf_core_format_spec()

Type Parameter Key Value
PARAM_VALUE 0 buf 9103007389173358592
PARAM_VALUE 1 buf_sz 256
PARAM_VALUE 2 spec 4096-ptr_max
PARAM_VALUE 2 spec->btf 0
PARAM_VALUE 2 spec->len 0-s32max
PARAM_VALUE 2 spec->raw_len 0-s32max
PARAM_VALUE 2 spec->relo_kind 0
PARAM_VALUE 2 *spec->raw_spec s32min-s32max
BUF_SIZE 0 buf 256
BUF_SIZE 2 spec 2624
BUF_SIZE 2 spec 2624
FUZZY_MAX 2 spec->len 0
FUZZY_MAX 2 spec->raw_len 0
MEM_ZERO 2 spec
NOCHECK_CALL
UNITS 1 buf_sz unit_byte
HALF_LOCKED2 global &cand_cache_mutex