Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 18 files:

Smatch caller information:

kernel/bpf/local_storage.c cgroup_storage_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
DATA_SOURCE 0 area r map_to_storage
NOCHECK_CALL

kernel/bpf/bpf_local_storage.c bpf_local_storage_map_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

kernel/bpf/bpf_local_storage.c bpf_local_storage_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
DATA_SOURCE 0 area $0
NOCHECK_CALL

kernel/bpf/stackmap.c prealloc_elems_and_freelist() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 1-u64max
BUF_SIZE 0 area (-1)-s32max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

kernel/bpf/stackmap.c stack_map_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

kernel/bpf/stackmap.c stack_map_free() -> bpf_map_area_free()

Type Parameter Key Value
NOCHECK_CALL

kernel/bpf/stackmap.c stack_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

kernel/bpf/arraymap.c array_map_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1)-s32max
NOCHECK_CALL

kernel/bpf/arraymap.c array_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 0,4096-ptr_max
NOCHECK_CALL

kernel/bpf/arraymap.c array_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

kernel/bpf/devmap.c dev_map_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

kernel/bpf/devmap.c dev_map_free() -> bpf_map_area_free()

Type Parameter Key Value
NOCHECK_CALL

kernel/bpf/devmap.c dev_map_free() -> bpf_map_area_free()

Type Parameter Key Value
NOCHECK_CALL

kernel/bpf/devmap.c dev_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

kernel/bpf/cpumap.c cpu_map_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

kernel/bpf/cpumap.c cpu_map_free() -> bpf_map_area_free()

Type Parameter Key Value
NOCHECK_CALL

kernel/bpf/cpumap.c cpu_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

kernel/bpf/reuseport_array.c reuseport_array_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
DATA_SOURCE 0 area $0
NOCHECK_CALL

kernel/bpf/queue_stack_maps.c queue_stack_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
DATA_SOURCE 0 area r bpf_queue_stack
NOCHECK_CALL

kernel/bpf/bloom_filter.c bloom_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

net/xdp/xskmap.c xsk_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

net/core/sock_map.c sock_hash_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

net/core/sock_map.c sock_hash_free() -> bpf_map_area_free()

Type Parameter Key Value
NOCHECK_CALL

net/core/sock_map.c sock_hash_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

net/core/sock_map.c sock_map_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

net/core/sock_map.c sock_map_free() -> bpf_map_area_free()

Type Parameter Key Value
NOCHECK_CALL

net/core/sock_map.c sock_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

kernel/bpf/bpf_insn_array.c insn_array_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

kernel/bpf/arena.c arena_map_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

kernel/bpf/arena.c arena_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

kernel/bpf/offload.c bpf_map_offload_map_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
CAPABLE 0 21
NOCHECK_CALL

kernel/bpf/offload.c bpf_map_offload_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
DATA_SOURCE 0 area r map_to_offmap
NOCHECK_CALL

kernel/bpf/lpm_trie.c trie_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

kernel/bpf/lpm_trie.c trie_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

kernel/bpf/bpf_struct_ops.c __bpf_struct_ops_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 *area 0
NOCHECK_CALL

kernel/bpf/bpf_struct_ops.c __bpf_struct_ops_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 *area 0
NOCHECK_CALL

kernel/bpf/bpf_struct_ops.c __bpf_struct_ops_map_free() -> bpf_map_area_free()

Type Parameter Key Value
NOCHECK_CALL

kernel/bpf/bpf_struct_ops.c __bpf_struct_ops_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1),520
DATA_SOURCE 0 area $0
NOCHECK_CALL

kernel/bpf/ringbuf.c bpf_ringbuf_area_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 1-u64max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

kernel/bpf/ringbuf.c bpf_ringbuf_free() -> bpf_map_area_free()

Type Parameter Key Value
BUF_SIZE 0 area 1-s32max
NOCHECK_CALL

kernel/bpf/ringbuf.c ringbuf_map_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

kernel/bpf/ringbuf.c ringbuf_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

kernel/bpf/hashtab.c htab_free_elems() -> bpf_map_area_free()

Type Parameter Key Value
BUF_SIZE 0 area (-1)-s32max
BUF_SIZE 0 area (-1)-s32max
NOCHECK_CALL

kernel/bpf/hashtab.c htab_map_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 1-u64max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

kernel/bpf/hashtab.c htab_map_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

kernel/bpf/hashtab.c htab_map_free() -> bpf_map_area_free()

Type Parameter Key Value
NOCHECK_CALL

kernel/bpf/hashtab.c htab_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL

kernel/bpf/hashtab.c rhtab_map_alloc() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
BUF_SIZE 0 area (-1)-s32max
DATA_SOURCE 0 area r bpf_map_area_alloc
NOCHECK_CALL

kernel/bpf/hashtab.c rhtab_map_free() -> bpf_map_area_free()

Type Parameter Key Value
PARAM_VALUE 0 area 4096-ptr_max
NOCHECK_CALL