Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

net/ipv4/tcp_ipv4.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 4 w4 1-u32max[u]
UNITS 4 w4 unit_byte

net/ipv6/datagram.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 w4 unit_byte
HALF_LOCKED2 sk

net/rds/ib_cm.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 8751793639895416832,9163399756157579264
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex

drivers/net/wireless/intel/iwlwifi/mld/d3.c addrconf_addr_solict_mult() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4609241142555811840
PARAM_VALUE 1 w1 4278321152
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 1
PARAM_VALUE 4 w4 0,16777216-u32max
DATA_SOURCE 0 addr $1
BIT_INFO 4 w4 0xff000000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &local->hw.wiphy->mtx
HALF_LOCKED2 &rdev->wiphy.mtx
TYPE_LOCK (struct wiphy)->mtx

net/rds/af_rds.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 4 w4 0-u32max
UNITS 4 w4 unit_byte
HALF_LOCKED2 sk

drivers/infiniband/core/verbs.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 336537935902605312,517356695360573440,4147109487078256640,6152018734578053120,6187873013018492928,7093679432811986944
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 w4 unit_byte
HALF_LOCKED2 &pool->lock

net/ipv4/syncookies.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 w4 unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

drivers/infiniband/core/cma.c cma_set_loopback() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 0
PARAM_VALUE 4 w4 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &lock
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rx_queue_mutex

drivers/infiniband/core/cma.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 w4 unit_byte
HALF_LOCKED2 &ctx->mutex
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id_priv->handler_mutex
HALF_LOCKED2 &pool->lock

net/ipv6/udp.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
BUF_SIZE 0 addr (-1),16
BUF_SIZE 0 addr (-1),16
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 w4 unit_byte

net/ipv6/sit.c ipip6_tunnel_clone_6rd() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 w1 537001984
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 0
PARAM_VALUE 4 w4 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rtnl_mutex

drivers/infiniband/core/roce_gid_mgmt.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 w4 unit_byte

drivers/net/ethernet/meta/fbnic/fbnic_rpc.c __fbnic_ip4_sync() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 0
NOCHECK_CALL
UNITS 4 w4 unit_byte

drivers/net/ethernet/meta/fbnic/fbnic_rpc.c __fbnic_ip4_sync() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 w1 u32max
PARAM_VALUE 2 w2 u32max
PARAM_VALUE 3 w3 u32max
NOCHECK_CALL

drivers/net/ethernet/meta/fbnic/fbnic_rpc.c __fbnic_ip6_sync() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
NOCHECK_CALL

net/rds/bind.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 5522203901926715392
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
PARAM_VALUE 4 w4 1-4294967294
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 w4 unit_byte
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex

net/ipv6/addrconf.c addrconf_add_mroute() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 6652296807720366116
PARAM_VALUE 1 w1 4278190080
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 0
PARAM_VALUE 4 w4 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv6/addrconf.c addrconf_addr_gen() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4996477335312990208
PARAM_VALUE 1 w1 4269801472
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 0
PARAM_VALUE 4 w4 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

net/ipv6/addrconf.c addrconf_addr_solict_mult() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 763100330867298304,2669363268973395968,8092986773682831360
PARAM_VALUE 1 w1 4278321152
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 1
PARAM_VALUE 4 w4 0,16777216-u32max
DATA_SOURCE 0 addr $1
BIT_INFO 4 w4 0xff000000,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 global &rtnl_mutex

drivers/net/wireless/intel/iwlwifi/mvm/offloading.c addrconf_addr_solict_mult() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 2556324485383708672
PARAM_VALUE 1 w1 4278321152
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 1
PARAM_VALUE 4 w4 0,16777216-u32max
DATA_SOURCE 0 addr $1
BIT_INFO 4 w4 0xff000000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mvm->mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &local->hw.wiphy->mtx
HALF_LOCKED2 &rdev->wiphy.mtx
TYPE_LOCK (struct iwl_mvm)->mutex
TYPE_LOCK (struct wiphy)->mtx

net/mptcp/pm_userspace.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 5171632046553329672,5942369124366024728
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
MEM_ZERO 0 addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 w4 unit_byte
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
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 &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

drivers/net/bonding/bond_main.c addrconf_addr_solict_mult() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 7081802945976225792,8811202012853530624
PARAM_VALUE 1 w1 4278321152
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 1
PARAM_VALUE 4 w4 0,16777216-u32max
DATA_SOURCE 0 addr $1
BIT_INFO 4 w4 0xff000000,0xffffffff
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/ipv4/inet_hashtables.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 w4 unit_byte
HALF_LOCKED2 &head->lock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/sunrpc/svcauth_unix.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 1883736585172856840,4935124739175133192,5196285492604547080
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 w4 unit_byte
HALF_LOCKED2 &inode->i_rwsem

drivers/infiniband/core/ucma.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
NOCHECK_CALL
UNITS 4 w4 unit_byte
LOCK2 &ctx->mutex
TYPE_LOCK (struct ucma_context)->mutex

net/ipv6/route.c addrconf_addr_solict_mult() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 6803897894025449472
PARAM_VALUE 1 w1 4278321152
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 1
PARAM_VALUE 4 w4 0,16777216-u32max
DATA_SOURCE 0 addr $1
BIT_INFO 4 w4 0xff000000,0xffffffff
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/ipv6/tcp_ipv6.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
PARAM_VALUE 4 w4 2130706433
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/rds/send.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 5618857771107643392
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
PARAM_VALUE 4 w4 1-4294967294
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 4 w4 1-4294967294[u]
UNITS 4 w4 unit_byte
HALF_LOCKED2 &vq->mutex

drivers/net/bonding/bond_options.c addrconf_addr_solict_mult() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 3197950554810449920,7884841068512079872,8889633098312155136
PARAM_VALUE 1 w1 4278321152
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 1
PARAM_VALUE 4 w4 0,16777216-u32max
DATA_SOURCE 0 addr $1
BIT_INFO 4 w4 0xff000000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/mptcp/subflow.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 2595345523476312072,7413772486558068744
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 w4 unit_byte

net/bridge/br_multicast.c br_ip6_multicast_join_snoopers() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 7915789140402888704
PARAM_VALUE 1 w1 4278321152
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 0
PARAM_VALUE 4 w4 106
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

net/bridge/br_multicast.c br_ip6_multicast_leave_snoopers() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 691153362296074240
PARAM_VALUE 1 w1 4278321152
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 0
PARAM_VALUE 4 w4 106
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

net/bridge/br_multicast.c br_multicast_alloc_query() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 5294036969763205120
PARAM_VALUE 1 w1 4278321152
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 0
PARAM_VALUE 4 w4 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &br->multicast_lock
HALF_LOCKED2 &brmctx->br->multicast_lock
TYPE_LOCK (struct net_bridge)->multicast_lock

drivers/infiniband/sw/rxe/rxe_recv.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 1251022971811446784,8680834678537785344
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 w4 unit_byte

net/ipv6/ndisc.c addrconf_addr_solict_mult() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 1379810044914405376,2144856176402436096,7508490463725436928
PARAM_VALUE 1 w1 4278321152
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 1
PARAM_VALUE 4 w4 0,16777216-u32max
DATA_SOURCE 0 addr $1
BIT_INFO 4 w4 0xff000000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tbl->phash_lock

net/ipv6/icmp.c ipv6_addr_set_v4mapped() -> ipv6_addr_set()

Type Parameter Key Value
PARAM_VALUE 0 addr 2227625524472459264
PARAM_VALUE 1 w1 0
PARAM_VALUE 2 w2 0
PARAM_VALUE 3 w3 u16max
DATA_SOURCE 0 addr $1
DATA_SOURCE 4 w4 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 w4 unit_byte
HALF_LOCKED2 rcu_read