Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

net/netfilter/nf_conncount.c __nf_conncount_add() -> conn_free()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 conn 4096-ptr_max
CAPPED_DATA 0 &list->head 1
CAPPED_DATA 1 conn->tuple.dst.protonum 1
CAPPED_DATA 1 conn->tuple.dst.u.all 1
CAPPED_DATA 1 conn->tuple.src.l3num 1
CAPPED_DATA 1 conn->tuple.src.u.all 1
CAPPED_DATA 1 &conn->node 1
DATA_SOURCE 0 list $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
HALF_LOCKED2 &rbconn->list.list_lock
HALF_LOCKED2 0 &list->list_lock
TYPE_LOCK (struct nf_conncount_list)->list_lock

net/netfilter/nf_conncount.c __nf_conncount_gc_list() -> conn_free()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 conn 4096-ptr_max
CAPPED_DATA 0 &list->head 1
CAPPED_DATA 1 conn->tuple.dst.protonum 1
CAPPED_DATA 1 conn->tuple.dst.u.all 1
CAPPED_DATA 1 conn->tuple.src.l3num 1
CAPPED_DATA 1 conn->tuple.src.u.all 1
CAPPED_DATA 1 &conn->node 1
DATA_SOURCE 0 list $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &list->list_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &root->lock
TYPE_LOCK (struct nf_conncount_list)->list_lock

net/netfilter/nf_conncount.c find_or_evict() -> conn_free()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 conn 4096-ptr_max
CAPPED_DATA 1 &conn->tuple 1
DATA_SOURCE 0 list $1
DATA_SOURCE 1 conn $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
HALF_LOCKED2 0 &list->list_lock
TYPE_LOCK (struct nf_conncount_list)->list_lock