Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/ip6mr.c ip6mr_cache_unresolved() -> ipmr_do_expire_process()

Type Parameter Key Value
PARAM_VALUE 0 mrt 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_hash.ht.p.hashfn 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_unres_queue.next 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_unres_queue.next->next 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_unres_queue.next->prev 4096-ptr_max
PARAM_VALUE 0 mrt->mroute_sk 4096-ptr_max
PARAM_VALUE 0 mrt->mroute_sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 mrt->mroute_sk->sk_filter 0
PARAM_VALUE 0 mrt->mroute_sk->sk_memcg->css.refcnt.percpu_count_ptr 1-u64max
PARAM_VALUE 0 mrt->mroute_sk->sk_memcg->tcpmem_pressure 0-1
PARAM_VALUE 0 mrt->mroute_sk->sk_receive_queue.next 4096-ptr_max
PARAM_VALUE 0 mrt->mroute_sk->sk_receive_queue.prev 4096-ptr_max
PARAM_VALUE 0 mrt->mroute_sk->sk_receive_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 mrt->net.net 4096-ptr_max
PARAM_VALUE 0 mrt->ops.rht_params 4096-ptr_max
CAPPED_DATA 0 mrt->mroute_sk 1
CAPPED_DATA 0 mrt->net.net 1
CAPPED_DATA 0 &mrt->mfc_unres_queue 1
DATA_SOURCE 0 mrt $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 global &mfc_unres_lock
HALF_LOCKED2 rcu_read

net/ipv6/ip6mr.c ipmr_expire_process() -> ipmr_do_expire_process()

Type Parameter Key Value
PARAM_VALUE 0 mrt 4096-ptr_max
CAPPED_DATA 0 &mrt->mfc_unres_queue 1
PARAM_COMPARE 0 &mrt->mfc_unres_queue != $0->mfc_unres_queue.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &mfc_unres_lock