Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
net/ipv4/fib_semantics.c rt_fibinfo_free() -> dst_release_immediate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 1-u64max |
| PARAM_VALUE | 0 | dst->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dst->dev_rcu | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dst->input | 8553433669308997632 |
| PARAM_VALUE | 0 | dst->obsolete | 2 |
| PARAM_VALUE | 0 | dst->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->output | 1359104979572629504 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/ipv4/fib_semantics.c rt_fibinfo_free_cpus() -> dst_release_immediate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 1-u64max |
| PARAM_VALUE | 0 | dst->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dst->dev_rcu | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dst->input | 8553433669308997632 |
| PARAM_VALUE | 0 | dst->obsolete | 2 |
| PARAM_VALUE | 0 | dst->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->output | 1359104979572629504 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/core/dst.c dst_destroy() -> dst_release_immediate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 1-u64max |
| PARAM_VALUE | 0 | dst->dev->refcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->dev->refcnt_tracker.quarantine.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->dev->refcnt_tracker.quarantine.prev->next->next | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dst->ops->kmem_cachep->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | dst->u.tun_info.dst_cache.cache |
net/ipv6/route.c __ip6_rt_update_pmtu() -> dst_release_immediate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->error | (-113),(-22),(-13),(-11),0 |
| PARAM_VALUE | 0 | dst->expires | 1-u64max |
| PARAM_VALUE | 0 | dst->input | 1085213014602391552,1459235060270694400,1783762990822887424,6867859413902737408,8240822772579913728,8371507639691730944,8442701487233740800 |
| PARAM_VALUE | 0 | dst->lwtstate | 1-u64max |
| PARAM_VALUE | 0 | dst->output | 1359104979572629504,2029074294825594880,3542095022991495168,5088972849622437888,7508766211280719872,8339822976769409024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
net/ipv6/route.c rt6_do_redirect() -> dst_release_immediate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->error | (-113),(-22),(-13),(-11),0 |
| PARAM_VALUE | 0 | dst->input | 1085213014602391552,1459235060270694400,1783762990822887424,6867859413902737408,8240822772579913728,8371507639691730944,8442701487233740800 |
| PARAM_VALUE | 0 | dst->lwtstate | 1-u64max |
| PARAM_VALUE | 0 | dst->output | 1359104979572629504,2029074294825594880,3542095022991495168,5088972849622437888,7508766211280719872,8339822976769409024 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/xfrm/xfrm_policy.c xfrm_bundle_create() -> dst_release_immediate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh |