Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/l2tp/l2tp_core.c l2tp_session_del_work() -> (struct l2tp_session)->session_close()

Type Parameter Key Value
PARAM_VALUE 0 session 4096-ptr_max
PARAM_VALUE 0 session->clist.next->prev 4096-ptr_max
PARAM_VALUE 0 session->clist.prev->next 4096-ptr_max
PARAM_VALUE 0 session->hlist->next->pprev 1-u64max
PARAM_VALUE 0 session->hlist.next->pprev 1-u64max
PARAM_VALUE 0 session->list.next->prev 4096-ptr_max
PARAM_VALUE 0 session->session_close 4096-ptr_max
PARAM_VALUE 0 session->tunnel->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 session->tunnel->sock->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 session->tunnel->sock->ns_tracker->dead 0-1
PARAM_VALUE 0 session->tunnel->sock->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 session->tunnel->sock->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 session->tunnel->sock->sk_cgrp_data.cgroup->bpf.refcnt.data 0,4096-ptr_max
PARAM_VALUE 0 session->tunnel->sock->sk_cgrp_data.cgroup->self.refcnt.data 0,4096-ptr_max
PARAM_VALUE 0 session->tunnel->sock->sk_filter->rcu.next 0
PARAM_VALUE 0 session->tunnel->sock->sk_memcg->css.refcnt.data 0,4096-ptr_max
PARAM_VALUE 0 session->tunnel->sock->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 session->tunnel->sock->sk_rcu.func 1-u64max
PARAM_VALUE 0 session->tunnel->sock->sk_rcu.next 0
PARAM_VALUE 0 session->tunnel->sock->sk_reuseport_cb->rcu.next 0
PARAM_VALUE 0 session->tunnel->sock->sk_security 0
CAPPED_DATA 0 session 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock