Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/ipv6/addrconf.c add_addr() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->addr_lst.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->flags | 0,2-u32max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->cnf.disable_ipv6 | 0 |
| PARAM_VALUE | 0 | ifp->idev->dead | 0 |
| PARAM_VALUE | 0 | ifp->idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->mc_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->idev->mc_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->mc_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ifp->idev->mc_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ifp->idev->mc_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ifp->if_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->ifa_proto | 0-1 |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->prefered_lft | u32max |
| PARAM_VALUE | 0 | ifp->prefix_len | 64,96,128 |
| PARAM_VALUE | 0 | ifp->rt->dst_nocount | 1 |
| PARAM_VALUE | 0 | ifp->rt->fib6_dst.plen | 128 |
| PARAM_VALUE | 0 | ifp->rt->fib6_metric | 0 |
| PARAM_VALUE | 0 | ifp->rt->fib6_metrics | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_node | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_node->leaf->fib6_nh->nh_common.nhc_gw_family | 0-255 |
| PARAM_VALUE | 0 | ifp->rt->fib6_prefsrc.plen | 128 |
| PARAM_VALUE | 0 | ifp->rt->fib6_ref.refs.counter | 1 |
| PARAM_VALUE | 0 | ifp->rt->fib6_siblings.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_siblings.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_siblings.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_src.plen | 0 |
| PARAM_VALUE | 0 | ifp->rt->fib6_table | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_table->tb6_gc_hlist->first->pprev | 1-u64max |
| PARAM_VALUE | 0 | ifp->rt->fib6_table->tb6_gc_hlist.first | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_type | 1-11 |
| PARAM_VALUE | 0 | ifp->rt->gc_link->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->gc_link.next | 0 |
| PARAM_VALUE | 0 | ifp->rt->gc_link.pprev | 0 |
| PARAM_VALUE | 0 | ifp->rt->nh | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->nh->f6i_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->nh->f6i_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->nh->f6i_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->nh_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->nh_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt_priority | 0 |
| PARAM_VALUE | 0 | ifp->scope | 16,32,48,128,144 |
| PARAM_VALUE | 0 | ifp->tokenized | 0 |
| PARAM_VALUE | 0 | ifp->valid_lft | u32max |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->dst_nocount | 0-1 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->dst_nopolicy | 0-1 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_destroying | 0-1 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_dst.plen | s32min-s32max |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_flags | 0-4294967295 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_metric | 0-4294967295 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_nsiblings | 0-4294967295 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_prefsrc.plen | s32min-s32max |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_protocol | 0-255 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_src.plen | s32min-s32max |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_type | 0-255 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->offload | 0-255 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->offload_failed | 0-255 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->should_flush | 0-1 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->trap | 0-255 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->unused | 0-15 |
| BUF_SIZE | 0 | ifp | 464 |
| BUF_SIZE | 0 | ifp->idev | (-1),2056 |
| CAPPED_DATA | 0 | ifp | 1 |
| DATA_SOURCE | 0 | ifp | r ipv6_add_addr |
| BIT_INFO | 0 | ifp->flags | 0x0,0xffffffbf |
| BIT_INFO | 0 | ifp->scope | 0x0,0xb0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/ipv6/addrconf.c addrconf_add_linklocal() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->addr_lst.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->dad_work.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->flags | 0,2-u32max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->cnf.disable_ipv6 | 0 |
| PARAM_VALUE | 0 | ifp->idev->dead | 0 |
| PARAM_VALUE | 0 | ifp->idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ifp->idev->rcu.func | 1-u64max |
| PARAM_VALUE | 0 | ifp->idev->rcu.next | 0 |
| PARAM_VALUE | 0 | ifp->if_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->ifa_proto | 3 |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->prefered_lft | u32max |
| PARAM_VALUE | 0 | ifp->prefix_len | 64 |
| PARAM_VALUE | 0 | ifp->rt | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->dst_nocount | 1 |
| PARAM_VALUE | 0 | ifp->rt->fib6_dst.plen | 128 |
| PARAM_VALUE | 0 | ifp->rt->fib6_metric | 0 |
| PARAM_VALUE | 0 | ifp->rt->fib6_metrics | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_prefsrc.plen | 128 |
| PARAM_VALUE | 0 | ifp->rt->fib6_ref.refs.counter | 1 |
| PARAM_VALUE | 0 | ifp->rt->fib6_siblings.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_siblings.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_src.plen | 0 |
| PARAM_VALUE | 0 | ifp->rt->fib6_table | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_type | 1-11 |
| PARAM_VALUE | 0 | ifp->rt->gc_link.next | 0 |
| PARAM_VALUE | 0 | ifp->rt->gc_link.pprev | 0 |
| PARAM_VALUE | 0 | ifp->rt->nh | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt_priority | 0 |
| PARAM_VALUE | 0 | ifp->scope | 32 |
| PARAM_VALUE | 0 | ifp->state | 0,4 |
| PARAM_VALUE | 0 | ifp->tokenized | 0 |
| PARAM_VALUE | 0 | ifp->valid_lft | u32max |
| BUF_SIZE | 0 | ifp | 464 |
| BUF_SIZE | 0 | ifp->idev | (-1),2056 |
| CAPPED_DATA | 0 | ifp | 1 |
| DATA_SOURCE | 0 | ifp | r ipv6_add_addr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv6/addrconf.c addrconf_dad_failure() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->flags | 4-u32max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->refcnt.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | ifp->state | s32min-0,2-s32max |
| DATA_SOURCE | 0 | ifp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv6/addrconf.c addrconf_dad_failure() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->addr_lst.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->dad_work.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->flags | 0,2-u32max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->cnf.disable_ipv6 | 0 |
| PARAM_VALUE | 0 | ifp->idev->dead | 0 |
| PARAM_VALUE | 0 | ifp->idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ifp->idev->rcu.func | 1-u64max |
| PARAM_VALUE | 0 | ifp->idev->rcu.next | 0 |
| PARAM_VALUE | 0 | ifp->if_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->ifa_proto | 0 |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->rt | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->dst_nocount | 1 |
| PARAM_VALUE | 0 | ifp->rt->fib6_dst.plen | 128 |
| PARAM_VALUE | 0 | ifp->rt->fib6_metric | 0 |
| PARAM_VALUE | 0 | ifp->rt->fib6_metrics | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_prefsrc.plen | 128 |
| PARAM_VALUE | 0 | ifp->rt->fib6_ref.refs.counter | 1 |
| PARAM_VALUE | 0 | ifp->rt->fib6_siblings.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_siblings.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_src.plen | 0 |
| PARAM_VALUE | 0 | ifp->rt->fib6_table | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_type | 1-11 |
| PARAM_VALUE | 0 | ifp->rt->gc_link.next | 0 |
| PARAM_VALUE | 0 | ifp->rt->gc_link.pprev | 0 |
| PARAM_VALUE | 0 | ifp->rt->nh | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt_priority | 0 |
| PARAM_VALUE | 0 | ifp->state | 0,4 |
| PARAM_VALUE | 0 | ifp->tokenized | 0 |
| BUF_SIZE | 0 | ifp | 464 |
| CAPPED_DATA | 0 | ifp | 1 |
| CAPPED_DATA | 0 | ifp->stable_privacy_retry | 1 |
| DATA_SOURCE | 0 | ifp | r ipv6_add_addr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv6/addrconf.c addrconf_dad_failure() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->flags | 2048-u32max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->refcnt.refs.counter | (-1073741824),0-s32max |
| DATA_SOURCE | 0 | ifp | $1 |
| BIT_INFO | 0 | ifp->flags | 0x800,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv6/addrconf.c addrconf_dad_failure() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->dad_work.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->flags | 4-u32max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ifp->idev->rcu.func | 1-u64max |
| PARAM_VALUE | 0 | ifp->idev->rcu.next | 0 |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->state | 3-4 |
| DATA_SOURCE | 0 | ifp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv6/addrconf.c addrconf_dad_stop() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->cnf.use_tempaddr | (-1) |
| PARAM_VALUE | 0 | ifp->idev->desync_factor | 0-2147483646 |
| PARAM_VALUE | 0 | ifp->idev->dev->nd_net.net->ipv6.addrconf_hash_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->idev->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->idev->lock.owner | (-1) |
| PARAM_VALUE | 0 | ifp->idev->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ifp->idev->lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | ifp->idev->lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *ifp->idev->dev->name | 0-255 |
| NOCHECK_CALL | |||
| LOCK2 | &net->rtnl_mutex | ||
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct net)->rtnl_mutex |
net/ipv6/addrconf.c addrconf_dad_stop() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->flags | 0,64-u32max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->state | 1-2 |
| DATA_SOURCE | 0 | ifp | $0 |
| BIT_INFO | 0 | ifp->flags | 0x40,0xfffffffe |
| HARD_MAX | 0 | ifp->state | 2 |
| NOCHECK_CALL | |||
| LOCK2 | &net->rtnl_mutex | ||
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct net)->rtnl_mutex |
net/ipv6/addrconf.c addrconf_dad_work() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->nd_parms | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->state | s32min-2,4-s32max |
| CAPPED_DATA | 0 | ifp | 1 |
| FUZZY_MAX | 0 | ifp->state | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &net->rtnl_mutex | ||
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct net)->rtnl_mutex |
net/ipv6/addrconf.c addrconf_ifdown() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 1-u64max |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &ifa->lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | global &init_net.rtnl_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct inet6_ifaddr)->lock |
net/ipv6/addrconf.c addrconf_ifdown() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->rcu.func | 1-u64max |
| PARAM_VALUE | 0 | ifp->idev->rcu.next | 0 |
| PARAM_VALUE | 0 | ifp->ifpub | 0 |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | global &init_net.rtnl_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/ipv6/addrconf.c addrconf_ifdown() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->state | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | global &init_net.rtnl_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/ipv6/addrconf.c addrconf_mod_dad_work() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->dad_work.cpu | 0-s32max |
| PARAM_VALUE | 0 | ifp->dad_work.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->dad_work.work.entry.next->next | 1-u64max |
| PARAM_VALUE | 0 | ifp->dad_work.work.entry.prev->next | 1-u64max |
| PARAM_VALUE | 0 | ifp->dad_work.work.entry.prev->prev | 1-u64max |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->state | s32min-3,5-s32max |
| BUF_SIZE | 0 | ifp | (-1),464 |
| BUF_SIZE | 0 | ifp | (-1),464 |
| BUF_SIZE | 0 | ifp->idev | (-1),2056 |
| BUF_SIZE | 0 | ifp->ifpub | (-1),464 |
| BUF_SIZE | 0 | ifp->rt | (-1),200,304 |
| CAPPED_DATA | 0 | ifp | 1 |
| DATA_SOURCE | 0 | ifp | $0 |
| NOSPEC | 0 | ifp->rt->fib6_dst.plen | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ifp->flags | 2-246,258-502[c] |
| USER_DATA | 0 | ifp->ifpub->flags | 2-246,256-u32max[c] |
| USER_DATA | 0 | ifp->ifpub->prefered_lft | 0-u32max[c] |
| USER_DATA | 0 | ifp->ifpub->prefix_len | 0-128 |
| USER_DATA | 0 | ifp->ifpub->valid_lft | 0-u32max |
| USER_DATA | 0 | ifp->prefered_lft | 0-u32max[c] |
| USER_DATA | 0 | ifp->prefix_len | 0-128 |
| USER_DATA | 0 | ifp->rt->fib6_dst.plen | 128 |
| USER_DATA | 0 | ifp->rt->fib6_flags | 0-u32max[c] |
| USER_DATA | 0 | ifp->valid_lft | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | ifp->prefered_lft | |
| HALF_LOCKED2 | &idev->lock | ||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | 0 | &ifp->lock |
net/ipv6/addrconf.c addrconf_prefix_rcv_add_addr() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *ifp->idev->dev->name | 0-255 |
| BUF_SIZE | 0 | ifp | (-1),464 |
| BUF_SIZE | 0 | ifp | (-1),464 |
| CAPPED_DATA | 0 | ifp | 1 |
| NOSPEC | 0 | ifp->rt->fib6_dst.plen | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | ifp->addr | s64min-s64max |
| USER_DATA | 0 | ifp->flags | 258-502[c] |
| USER_DATA | 0 | ifp->prefered_lft | 0-u32max[c] |
| USER_DATA | 0 | ifp->prefix_len | 64 |
| USER_DATA | 0 | ifp->rt->fib6_dst.plen | 128 |
| USER_DATA | 0 | ifp->rt->fib6_flags | 0-u32max[c] |
| USER_DATA | 0 | ifp->valid_lft | 0-u32max |
net/ipv6/addrconf.c addrconf_verify_rtnl() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->cnf.use_tempaddr | (-1) |
| PARAM_VALUE | 0 | ifp->idev->desync_factor | 0-2147483646 |
| PARAM_VALUE | 0 | ifp->idev->dev->nd_net.net->ipv6.addrconf_hash_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->idev->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->idev->lock.owner | (-1) |
| PARAM_VALUE | 0 | ifp->idev->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ifp->idev->lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | ifp->idev->lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->regen_count | 0 |
| PARAM_VALUE | 0 | *ifp->idev->dev->name | 0-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &af_ops->srcu | ||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | &net->rtnl_mutex |
net/ipv6/addrconf.c addrconf_verify_rtnl() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->flags | 1-u32max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->nd_parms | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->ifpub | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->ifpub->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->ifpub->idev->cnf.use_tempaddr | (-1) |
| PARAM_VALUE | 0 | ifp->ifpub->idev->desync_factor | 0-2147483646 |
| PARAM_VALUE | 0 | ifp->ifpub->idev->dev->nd_net.net->ipv6.addrconf_hash_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->ifpub->idev->dev->refcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->ifpub->idev->dev->refcnt_tracker.quarantine.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->ifpub->idev->dev->refcnt_tracker.quarantine.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->ifpub->idev->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->ifpub->idev->lock.owner | (-1) |
| PARAM_VALUE | 0 | ifp->ifpub->idev->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ifp->ifpub->idev->lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | ifp->ifpub->idev->rcu.func | 1-u64max |
| PARAM_VALUE | 0 | ifp->ifpub->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->ifpub->regen_count | 0 |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->prefered_lft | 0-4294967294 |
| PARAM_VALUE | 0 | ifp->regen_count | 1-s32max |
| PARAM_VALUE | 0 | *ifp->ifpub->idev->dev->name | 0-255 |
| CAPPED_DATA | 0 | ifp->prefered_lft | 1 |
| BIT_INFO | 0 | ifp->flags | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &af_ops->srcu | ||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | &net->rtnl_mutex |
net/ipv6/addrconf.c addrconf_verify_rtnl() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->flags | 0,32-u32max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->prefered_lft | 0-4294967294 |
| PARAM_VALUE | 0 | ifp->rt->fib6_node->leaf->fib6_nh->nh_common.nhc_gw_family | 0-255 |
| PARAM_VALUE | 0 | ifp->valid_lft | 1-u32max |
| CAPPED_DATA | 0 | ifp->prefered_lft | 1 |
| BIT_INFO | 0 | ifp->flags | 0x20,0xffffffffffffffff |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rtnl_mutex | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &af_ops->srcu | ||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | &net->rtnl_mutex |
net/ipv6/addrconf.c inet6_addr_add() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->addr_lst.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->dad_work.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->flags | 0,2-u32max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->cnf.disable_ipv6 | 0 |
| PARAM_VALUE | 0 | ifp->idev->dead | 0 |
| PARAM_VALUE | 0 | ifp->idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ifp->if_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->prefix_len | 0-128 |
| PARAM_VALUE | 0 | ifp->rt->dst_nocount | 1 |
| PARAM_VALUE | 0 | ifp->rt->fib6_dst.plen | 128 |
| PARAM_VALUE | 0 | ifp->rt->fib6_metric | 0 |
| PARAM_VALUE | 0 | ifp->rt->fib6_metrics | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_prefsrc.plen | 128 |
| PARAM_VALUE | 0 | ifp->rt->fib6_ref.refs.counter | 1 |
| PARAM_VALUE | 0 | ifp->rt->fib6_siblings.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_siblings.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_src.plen | 0 |
| PARAM_VALUE | 0 | ifp->rt->fib6_table | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_type | 1-11 |
| PARAM_VALUE | 0 | ifp->rt->gc_link.next | 0 |
| PARAM_VALUE | 0 | ifp->rt->gc_link.pprev | 0 |
| PARAM_VALUE | 0 | ifp->rt->nh | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->scope | 0,16-240 |
| PARAM_VALUE | 0 | ifp->tokenized | 0 |
| PARAM_VALUE | 0 | ifp->valid_lft | 1-u32max |
| BUF_SIZE | 0 | ifp | 464 |
| BUF_SIZE | 0 | ifp->idev | (-1),2056 |
| CAPPED_DATA | 0 | ifp | 1 |
| DATA_SOURCE | 0 | ifp | r ipv6_add_addr |
| NOSPEC | 0 | ifp->rt->fib6_dst.plen | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ifp->addr | s64min-s64max |
| USER_DATA | 0 | ifp->flags | 2-246[c] |
| USER_DATA | 0 | ifp->prefered_lft | 0-u32max[c] |
| USER_DATA | 0 | ifp->prefix_len | 0-128 |
| USER_DATA | 0 | ifp->rt->fib6_dst.plen | 128 |
| USER_DATA | 0 | ifp->rt->fib6_flags | 0-u32max[c] |
| USER_DATA | 0 | ifp->valid_lft | 1-u32max |
| NO_OVERFLOW_SIMPLE | 0 | ifp->prefered_lft | |
| LOCK2 | &net->rtnl_mutex | ||
| LOCK2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct net)->rtnl_mutex |
net/ipv6/addrconf.c inet6_rtm_getaddr() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->refcnt.refs.counter | (-1073741824),0-s32max |
| DATA_SOURCE | 0 | ifp | r ipv6_get_ifaddr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex |
net/ipv6/addrconf.c inet6_rtm_newaddr() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| CAPPED_DATA | 0 | ifp | 1 |
| DATA_SOURCE | 0 | ifp | r ipv6_get_ifaddr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ifp->flags | 0-u32max[c][u] |
| USER_DATA | 0 | ifp->prefered_lft | 0[c] |
| USER_DATA | 0 | ifp->valid_lft | 1-u32max |
| LOCK2 | &net->rtnl_mutex | ||
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| TYPE_LOCK | (struct net)->rtnl_mutex |
net/ipv6/addrconf.c ipv6_create_tempaddr() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->cnf.regen_max_retry | (-2147483647)-s32max |
| PARAM_VALUE | 0 | ifp->idev->cnf.use_tempaddr | 1-s32max |
| PARAM_VALUE | 0 | ifp->idev->desync_factor | 0-s32max |
| PARAM_VALUE | 0 | ifp->idev->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->idev->lock.owner | (-1) |
| PARAM_VALUE | 0 | ifp->idev->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ifp->idev->lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | ifp->idev->lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | ifp->idev->nd_parms | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | ifp | (-1),464 |
| BUF_SIZE | 0 | ifp | (-1),464 |
| BUF_SIZE | 0 | ifp->idev | (-1),2056 |
| CAPPED_DATA | 0 | ifp | 1 |
| DATA_SOURCE | 0 | ifp | $0 |
| FUZZY_MAX | 0 | ifp->idev->cnf.use_tempaddr | 1 |
| FUZZY_MAX | 0 | ifp->idev->desync_factor | 0 |
| NOSPEC | 0 | ifp->prefered_lft | |
| NOSPEC | 0 | ifp->rt->fib6_dst.plen | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ifp->flags | 2-246,256-u32max[c] |
| USER_DATA | 0 | ifp->prefered_lft | 0-u32max[c] |
| USER_DATA | 0 | ifp->prefix_len | 0-128 |
| USER_DATA | 0 | ifp->rt->fib6_dst.plen | 128 |
| USER_DATA | 0 | ifp->rt->fib6_flags | 0-u32max[c] |
| USER_DATA | 0 | ifp->valid_lft | 0-u32max |
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/ipv6/addrconf.c ipv6_create_tempaddr() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->cnf.regen_max_retry | (-2147483647)-s32max |
| PARAM_VALUE | 0 | ifp->idev->cnf.use_tempaddr | 1-s32max |
| PARAM_VALUE | 0 | ifp->idev->desync_factor | 0-s32max |
| PARAM_VALUE | 0 | ifp->idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->idev->nd_parms | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | ifp | (-1),464 |
| BUF_SIZE | 0 | ifp | (-1),464 |
| BUF_SIZE | 0 | ifp->idev | (-1),2056 |
| CAPPED_DATA | 0 | ifp | 1 |
| DATA_SOURCE | 0 | ifp | $0 |
| FUZZY_MAX | 0 | ifp->idev->cnf.use_tempaddr | 1 |
| FUZZY_MAX | 0 | ifp->idev->desync_factor | 0 |
| NOSPEC | 0 | ifp->prefered_lft | |
| NOSPEC | 0 | ifp->rt->fib6_dst.plen | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ifp->flags | 2-246,256-u32max[c] |
| USER_DATA | 0 | ifp->prefered_lft | 0-u32max[c] |
| USER_DATA | 0 | ifp->prefix_len | 0-128 |
| USER_DATA | 0 | ifp->rt->fib6_dst.plen | 128 |
| USER_DATA | 0 | ifp->rt->fib6_flags | 0-u32max[c] |
| USER_DATA | 0 | ifp->valid_lft | 0-u32max |
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/ipv6/addrconf.c ipv6_create_tempaddr() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->addr_lst.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->dad_work.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->flags | 0,2-u32max |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->cnf.disable_ipv6 | 0 |
| PARAM_VALUE | 0 | ifp->idev->dead | 0 |
| PARAM_VALUE | 0 | ifp->idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->refcnt_tracker.quarantine.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | ifp->idev->dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ifp->idev->rcu.func | 1-u64max |
| PARAM_VALUE | 0 | ifp->idev->rcu.next | 0 |
| PARAM_VALUE | 0 | ifp->if_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->ifa_proto | 0 |
| PARAM_VALUE | 0 | ifp->ifpub | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->ifpub->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->rt | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->dst_nocount | 1 |
| PARAM_VALUE | 0 | ifp->rt->fib6_dst.plen | 128 |
| PARAM_VALUE | 0 | ifp->rt->fib6_metric | 0 |
| PARAM_VALUE | 0 | ifp->rt->fib6_metrics | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_prefsrc.plen | 128 |
| PARAM_VALUE | 0 | ifp->rt->fib6_ref.refs.counter | 1 |
| PARAM_VALUE | 0 | ifp->rt->fib6_siblings.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_siblings.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_src.plen | 0 |
| PARAM_VALUE | 0 | ifp->rt->fib6_table | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_type | 1-11 |
| PARAM_VALUE | 0 | ifp->rt->gc_link.next | 0 |
| PARAM_VALUE | 0 | ifp->rt->gc_link.pprev | 0 |
| PARAM_VALUE | 0 | ifp->rt->nh | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt_priority | 0 |
| PARAM_VALUE | 0 | ifp->scope | 0,16-240 |
| PARAM_VALUE | 0 | ifp->state | 0,4 |
| PARAM_VALUE | 0 | ifp->tokenized | 0 |
| BUF_SIZE | 0 | ifp | 464 |
| BUF_SIZE | 0 | ifp->idev | (-1),2056 |
| BUF_SIZE | 0 | ifp->ifpub | (-1),464 |
| CAPPED_DATA | 0 | ifp | 1 |
| CAPPED_DATA | 0 | ifp->prefered_lft | 1 |
| CAPPED_DATA | 0 | ifp->valid_lft | 1 |
| DATA_SOURCE | 0 | ifp | r ipv6_add_addr |
| NOSPEC | 0 | ifp->ifpub->prefered_lft | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ifp->addr | s64min-s64max |
| USER_DATA | 0 | ifp->flags | 2-246[c] |
| USER_DATA | 0 | ifp->ifpub->flags | 2-246,256-u32max[c] |
| USER_DATA | 0 | ifp->ifpub->prefered_lft | 0-u32max[c] |
| USER_DATA | 0 | ifp->ifpub->prefix_len | 0-128 |
| USER_DATA | 0 | ifp->ifpub->valid_lft | 0-u32max |
| USER_DATA | 0 | ifp->prefered_lft | 0-u32max[c] |
| USER_DATA | 0 | ifp->prefix_len | 0-128 |
| USER_DATA | 0 | ifp->rt->fib6_dst.plen | 128 |
| USER_DATA | 0 | ifp->rt->fib6_flags | 0-u32max[c] |
| USER_DATA | 0 | ifp->valid_lft | 0-u32max[c] |
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/ipv6/addrconf.c ipv6_del_addr() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &ifp->idev->lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct inet6_dev)->lock |
net/ipv6/addrconf.c ipv6_del_addr() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->addr_lst->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | ifp->addr_lst.pprev | 0 |
| PARAM_VALUE | 0 | ifp->idev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->nd_net.net->ipv6.addrconf_hash_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->idev->dev->nd_net.net->ipv6.fib6_walker_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->idev->dev->nd_net.net->ipv6.fib6_walkers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->nd_net.net->ipv6.fib6_walkers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->dev->nd_net.net->ipv6.fib6_walkers.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->idev->mc_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->idev->mc_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ifp->idev->mc_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ifp->idev->mc_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ifp->idev->mc_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ifp->if_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ifp->rt->fib6_node->leaf->fib6_nh->nh_common.nhc_gw_family | 0-255 |
| PARAM_VALUE | 0 | ifp->rt->fib6_siblings.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->fib6_table->tb6_gc_hlist->first->pprev | 1-u64max |
| PARAM_VALUE | 0 | ifp->rt->fib6_table->tb6_gc_hlist.first | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->gc_link->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->nh->f6i_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->nh->f6i_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->nh->f6i_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->nh_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->rt->nh_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->state | 4 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->dst_nocount | 0-1 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->dst_nopolicy | 0-1 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_destroying | 0-1 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_dst.plen | s32min-s32max |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_flags | 0-4294967295 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_metric | 0-4294967295 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_nsiblings | 0-4294967295 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_prefsrc.plen | s32min-s32max |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_protocol | 0-255 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_src.plen | s32min-s32max |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->fib6_type | 0-255 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->offload | 0-255 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->offload_failed | 0-255 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->should_flush | 0-1 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->trap | 0-255 |
| PARAM_VALUE | 0 | *ifp->rt->fib6_next->unused | 0-15 |
| CAPPED_DATA | 0 | ifp | 1 |
| CAPPED_DATA | 0 | ifp->idev->dev->nd_net.net | 1 |
| DATA_SOURCE | 0 | ifp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/ipv6/ip6_output.c ip6_dst_lookup_tail() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->refcnt.refs.counter | (-1073741824),0-s32max |
| DATA_SOURCE | 0 | ifp | r ipv6_get_ifaddr |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | bh |
net/ipv6/ndisc.c ndisc_recv_na() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->refcnt.refs.counter | (-1073741824),0-s32max |
| DATA_SOURCE | 0 | ifp | r ipv6_get_ifaddr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv6/ndisc.c ndisc_recv_ns() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->refcnt.refs.counter | (-1073741824),0-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &tbl->proxy_queue.lock | ||
| HALF_LOCKED2 | rcu_read |
net/ipv6/ndisc.c ndisc_send_na() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->refcnt.refs.counter | (-1073741824),0-s32max |
| DATA_SOURCE | 0 | ifp | r ipv6_get_ifaddr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &idev->lock | ||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/ipv6/ndisc.c ndisc_send_rs() -> in6_ifa_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ifp | 4096-ptr_max |
| PARAM_VALUE | 0 | ifp->refcnt.refs.counter | (-1073741824),0-s32max |
| DATA_SOURCE | 0 | ifp | r ipv6_get_ifaddr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &af_ops->srcu | ||
| HALF_LOCKED2 | &net->rtnl_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex |