Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/route.c __inet6_rt_notify() -> rt6_nlmsg_size()

Type Parameter Key Value
DATA_SOURCE 0 f6i $1
LOCK2 rcu_read

net/ipv6/route.c __inet6_rt_notify() -> rt6_nlmsg_size()

Type Parameter Key Value
PARAM_VALUE 0 f6i 4096-ptr_max
PARAM_VALUE 0 f6i->nh 0,4096-ptr_max
PARAM_VALUE 0 f6i->nh->nh_info->fib6_nh.nh_common.nhc_dev->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 f6i->nh->nh_info->fib6_nh.nh_common.nhc_dev->refcnt_tracker.list.next->prev 4096-ptr_max
DATA_SOURCE 0 f6i $1
LOCK2 rcu_read

net/ipv6/route.c __ip6_del_rt_siblings() -> rt6_nlmsg_size()

Type Parameter Key Value
PARAM_VALUE 0 f6i 4096-ptr_max
PARAM_VALUE 0 f6i->fib6_nsiblings 1-u32max
PARAM_VALUE 0 f6i->fib6_ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 f6i->fib6_table 4096-ptr_max
PARAM_VALUE 0 f6i->fib6_table->tb6_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 f6i->nh 0
DATA_SOURCE 0 f6i $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &table->tb6_lock
LOCK2 bh
LOCK2 rcu_read
TYPE_LOCK (struct fib6_table)->tb6_lock

net/ipv6/route.c fib6_info_hw_flags_set() -> rt6_nlmsg_size()

Type Parameter Key Value
PARAM_VALUE 0 f6i 4096-ptr_max
PARAM_VALUE 0 f6i->fib6_node 1-u64max
PARAM_VALUE 0 f6i->offload 0-1
PARAM_VALUE 0 f6i->offload_failed 0-1
PARAM_VALUE 0 f6i->trap 0-1
DATA_SOURCE 0 f6i $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &data->fib_lock
HALF_LOCKED2 &mlxsw_sp->router->lock
HALF_LOCKED2 &pool->lock

net/ipv6/route.c fib6_rt_update() -> rt6_nlmsg_size()

Type Parameter Key Value
PARAM_VALUE 0 f6i 4096-ptr_max
DATA_SOURCE 0 f6i $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &net->rtnl_mutex
LOCK2 &nh->lock
LOCK2 bh
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
TYPE_LOCK (struct nexthop)->lock