Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/nexthop.c __nexthop_replace_notify() -> fib6_rt_update()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ipv4.sysctl_nexthop_compat_mode 1-255
PARAM_VALUE 0 net->ipv6.fib6_sernum.counter 0-s32max
PARAM_VALUE 0 net->nexthop.rb_root.rb_node 4096-ptr_max
PARAM_VALUE 0 net->nexthop.seq 1-u32max
PARAM_VALUE 0 net->rtnl_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 net->rtnl_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 net->rtnl_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 rt 4096-ptr_max
PARAM_VALUE 2 info 6966593615929561192
PARAM_VALUE 2 info->nl_net 4096-ptr_max
PARAM_VALUE 2 info->nlh 4096-ptr_max
CAPPED_DATA 1 &rt->nh_list 1
DATA_SOURCE 0 net $0
DATA_SOURCE 2 info $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
USER_PTR 2 info->nlh
LOCK2 &nh->lock
LOCK2 bh
LOCK2 global &rtnl_mutex
LOCK2 0 &net->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