Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/bpf/cpumask.c bpf_cpumask_release() -> bpf_mem_cache_free_rcu()

Type Parameter Key Value
PARAM_VALUE 0 ma 2946077598386487296
PARAM_VALUE 1 ptr 4096-ptr_max
DATA_SOURCE 1 ptr $0
NOCHECK_CALL

kernel/bpf/lpm_trie.c trie_delete_elem() -> bpf_mem_cache_free_rcu()

Type Parameter Key Value
PARAM_VALUE 0 ma 4096-ptr_max
PARAM_VALUE 1 ptr 0,4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 rcu_read

kernel/bpf/lpm_trie.c trie_delete_elem() -> bpf_mem_cache_free_rcu()

Type Parameter Key Value
PARAM_VALUE 0 ma 4096-ptr_max
PARAM_VALUE 1 ptr 0,4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 rcu_read

kernel/bpf/lpm_trie.c trie_update_elem() -> bpf_mem_cache_free_rcu()

Type Parameter Key Value
PARAM_VALUE 0 ma 4096-ptr_max
PARAM_VALUE 1 ptr 0,4096-ptr_max
NOCHECK_CALL

kernel/bpf/hashtab.c rhtab_delete_elem() -> bpf_mem_cache_free_rcu()

Type Parameter Key Value
PARAM_VALUE 0 ma 4096-ptr_max
DATA_SOURCE 1 ptr $1
NOCHECK_CALL
LOCK2 rcu_read

kernel/bpf/hashtab.c rhtab_free_elem() -> bpf_mem_cache_free_rcu()

Type Parameter Key Value
PARAM_VALUE 0 ma 4096-ptr_max
DATA_SOURCE 1 ptr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ct_priv->control_lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &efx->tc->mutex
HALF_LOCKED2 global &pernet_ops_rwsem