Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/arraymap.c array_of_map_free() -> fd_array_map_free()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->inner_map_meta 4096-ptr_max
PARAM_VALUE 0 map->inner_map_meta->btf->id 0
PARAM_VALUE 0 map->inner_map_meta->btf->rcu.next 0
PARAM_VALUE 0 map->inner_map_meta->btf->refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 map->ops 4096-ptr_max
PARAM_VALUE 0 map->ops->map_alloc_check 0,4096-ptr_max
PARAM_VALUE 0 map->ops->map_check_btf 0,4096-ptr_max
PARAM_VALUE 0 map->ops->map_mem_usage 0,4096-ptr_max
BUF_SIZE 0 map->btf s32min-(-1),1-s32max
BUF_SIZE 0 map->excl_prog_sha (-1),32
BUF_SIZE 0 map->ops (-1),352
CAPPED_DATA 0 map->excl_prog_sha 1
CAPPED_DATA 0 map->inner_map_meta 1
DATA_SOURCE 0 map $0
NOSPEC 0 map->map_type
NOCHECK_CALL
USER_DATA 0 map->btf_key_type_id 0-u32max
USER_DATA 0 map->btf_value_type_id 0-u32max
USER_DATA 0 map->btf_vmlinux_value_type_id 0-u32max
USER_DATA 0 map->map_type 1-34[c]
USER_DATA 0 *map->excl_prog_sha 0-255
NO_OVERFLOW_SIMPLE 0 map->record->cnt
USER_PTR 0 map->excl_prog_sha

kernel/bpf/arraymap.c cgroup_fd_array_free() -> fd_array_map_free()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->ops 4096-ptr_max
PARAM_VALUE 0 map->ops->map_alloc_check 0,4096-ptr_max
PARAM_VALUE 0 map->ops->map_check_btf 0,4096-ptr_max
PARAM_VALUE 0 map->ops->map_mem_usage 0,4096-ptr_max
BUF_SIZE 0 map->btf s32min-(-1),1-s32max
BUF_SIZE 0 map->excl_prog_sha (-1),32
BUF_SIZE 0 map->ops (-1),352
CAPPED_DATA 0 map->excl_prog_sha 1
DATA_SOURCE 0 map $0
NOSPEC 0 map->map_type
NOCHECK_CALL
USER_DATA 0 map->btf_key_type_id 0-u32max
USER_DATA 0 map->btf_value_type_id 0-u32max
USER_DATA 0 map->btf_vmlinux_value_type_id 0-u32max
USER_DATA 0 map->map_type 1-34[c]
USER_DATA 0 *map->excl_prog_sha 0-255
NO_OVERFLOW_SIMPLE 0 map->record->cnt
USER_PTR 0 map->excl_prog_sha

kernel/bpf/arraymap.c perf_event_fd_array_map_free() -> fd_array_map_free()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->ops 4096-ptr_max
PARAM_VALUE 0 map->ops->map_alloc_check 0,4096-ptr_max
PARAM_VALUE 0 map->ops->map_check_btf 0,4096-ptr_max
PARAM_VALUE 0 map->ops->map_mem_usage 0,4096-ptr_max
BUF_SIZE 0 map->btf s32min-(-1),1-s32max
BUF_SIZE 0 map->excl_prog_sha (-1),32
BUF_SIZE 0 map->ops (-1),352
CAPPED_DATA 0 map->excl_prog_sha 1
DATA_SOURCE 0 map $0
NOSPEC 0 map->map_type
NOCHECK_CALL
USER_DATA 0 map->btf_key_type_id 0-u32max
USER_DATA 0 map->btf_value_type_id 0-u32max
USER_DATA 0 map->btf_vmlinux_value_type_id 0-u32max
USER_DATA 0 map->map_type 1-34[c]
USER_DATA 0 *map->excl_prog_sha 0-255
NO_OVERFLOW_SIMPLE 0 map->record->cnt
USER_PTR 0 map->excl_prog_sha

kernel/bpf/arraymap.c prog_array_map_free() -> fd_array_map_free()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->ops 4096-ptr_max
PARAM_VALUE 0 map->ops->map_alloc_check 0,4096-ptr_max
PARAM_VALUE 0 map->ops->map_check_btf 0,4096-ptr_max
PARAM_VALUE 0 map->ops->map_mem_usage 0,4096-ptr_max
BUF_SIZE 0 map->btf s32min-(-1),1-s32max
BUF_SIZE 0 map->excl_prog_sha (-1),32
BUF_SIZE 0 map->ops (-1),352
CAPPED_DATA 0 map->excl_prog_sha 1
DATA_SOURCE 0 map $0
NOSPEC 0 map->map_type
NOCHECK_CALL
USER_DATA 0 map->btf_key_type_id 0-u32max
USER_DATA 0 map->btf_value_type_id 0-u32max
USER_DATA 0 map->btf_vmlinux_value_type_id 0-u32max
USER_DATA 0 map->map_type 1-34[c]
USER_DATA 0 *map->excl_prog_sha 0-255
NO_OVERFLOW_SIMPLE 0 map->record->cnt
USER_PTR 0 map->excl_prog_sha