Open Menu /

Defined in 1 files as a function:

Referenced in 22 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4096-ptr_max
DATA_SOURCE 0 addr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 addr 1-u32max[u]
UNITS 0 addr unit_byte

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4096-ptr_max
DATA_SOURCE 0 addr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 addr 2130706433
PARAM_VALUE 1 v4mapped 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
LOCK2 sk

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
LOCK2 sk

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
LOCK2 sk

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 7501424342185168896
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4096-ptr_max
MEM_ZERO 1 v4mapped
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 8751793639895416832
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 9163399756157579264
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 60357954108792840
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 addr 0-u32max
UNITS 0 addr unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 addr 1-4294967294
PARAM_VALUE 1 v4mapped 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
LOCK2 sk

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 336537935902605312,517356695360573440,6152018734578053120
DATA_SOURCE 1 v4mapped $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4147109487078256640,6187873013018492928,7093679432811986944
DATA_SOURCE 1 v4mapped $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4096-ptr_max
DATA_SOURCE 0 addr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4096-ptr_max
DATA_SOURCE 0 addr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4096-ptr_max
DATA_SOURCE 1 v4mapped $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr 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 udpv6_recvmsg() -> ipv6_addr_set_v4mapped()

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 addr 2130706433
PARAM_VALUE 1 v4mapped 4096-ptr_max
BUF_SIZE 1 v4mapped 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4096-ptr_max
DATA_SOURCE 1 v4mapped $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 addr 1-4294967294
PARAM_VALUE 1 v4mapped 5522203901926715392
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 5942369124366024728
MEM_ZERO 1 v4mapped
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
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

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 5171632046553329672
MEM_ZERO 1 v4mapped
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
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

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
HALF_LOCKED2 &head->lock
HALF_LOCKED2 &head->lock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4096-ptr_max
DATA_SOURCE 0 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
HALF_LOCKED2 &head->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 1883736585172856840
NOCHECK_CALL
UNITS 0 addr unit_byte
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 4935124739175133192
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr 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

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 5196285492604547080
NOCHECK_CALL
UNITS 0 addr unit_byte

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

Type Parameter Key Value
DATA_SOURCE 1 v4mapped $1
NOCHECK_CALL
UNITS 0 addr unit_byte
LOCK2 &ctx->mutex
TYPE_LOCK (struct ucma_context)->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 addr 2130706433
PARAM_VALUE 1 v4mapped 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 addr 1-4294967294
PARAM_VALUE 1 v4mapped 5618857771107643392
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 addr 1-4294967294[u]
UNITS 0 addr unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 2595345523476312072,7413772486558068744
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 1251022971811446784
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 8680834678537785344
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte

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

Type Parameter Key Value
PARAM_VALUE 1 v4mapped 2227625524472459264
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
HALF_LOCKED2 rcu_read