Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 13 files:

Smatch caller information:

drivers/net/geneve.c __geneve_sock_release() -> udp_tunnel_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_net.net 4096-ptr_max
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/gtp.c gtp_create_sockets() -> udp_tunnel_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->sk_user_data 0,4096-ptr_max
DATA_SOURCE 0 sk r gtp_create_sock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &ops->srcu
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

drivers/net/gtp.c gtp_encap_disable() -> udp_tunnel_sock_release()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/gtp.c gtp_encap_disable() -> udp_tunnel_sock_release()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/amt.c amt_dev_stop() -> udp_tunnel_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/bareudp.c bareudp_sock_release() -> udp_tunnel_sock_release()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/wireguard/socket.c sock_free() -> udp_tunnel_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rtnl_mutex

drivers/net/wireguard/socket.c wg_socket_init() -> udp_tunnel_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->sk_allocation 0,131072-u32max
PARAM_VALUE 0 sk->sk_sndbuf s32max
PARAM_VALUE 0 sk->sk_socket 4096-ptr_max
PARAM_VALUE 0 sk->sk_socket->file 0
PARAM_VALUE 0 sk->sk_socket->ops 0
PARAM_VALUE 0 sk->sk_user_data 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte
LOCK2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct wg_device)->device_update_lock

net/ipv4/fou_core.c fou_create() -> udp_tunnel_sock_release()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk 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/ipv4/fou_core.c fou_release() -> udp_tunnel_sock_release()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte
LOCK2 &fn->fou_lock
HALF_LOCKED2 global &pernet_ops_rwsem
TYPE_LOCK (struct fou_net)->fou_lock

net/tipc/udp_media.c cleanup_bearer() -> udp_tunnel_sock_release()

Type Parameter Key Value
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
NOCHECK_CALL
UNITS 0 sk unit_byte
HALF_LOCKED2 &pool->lock

net/tipc/udp_media.c tipc_udp_enable() -> udp_tunnel_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte
LOCK2 global &rtnl_mutex
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 &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/sctp/protocol.c sctp_udp_sock_start() -> udp_tunnel_sock_release()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte
LOCK2 global &sctp_sysctl_mutex
HALF_LOCKED2 &pool->lock

net/sctp/protocol.c sctp_udp_sock_stop() -> udp_tunnel_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &sctp_sysctl_mutex

net/sctp/protocol.c sctp_udp_sock_stop() -> udp_tunnel_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &sctp_sysctl_mutex

drivers/infiniband/sw/rxe/rxe_net.c rxe_release_udp_tunnel() -> udp_tunnel_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter 0-2
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &link_ops_rwsem

drivers/net/pfcp.c pfcp_del_sock() -> udp_tunnel_sock_release()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/vxlan/vxlan_core.c vxlan_sock_release() -> udp_tunnel_sock_release()

Type Parameter Key Value
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/vxlan/vxlan_core.c vxlan_sock_release() -> udp_tunnel_sock_release()

Type Parameter Key Value
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/sw/rxe/rxe_ns.c rxe_ns_exit() -> udp_tunnel_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte
LOCK2 global &pernet_ops_rwsem

drivers/infiniband/sw/rxe/rxe_ns.c rxe_ns_exit() -> udp_tunnel_sock_release()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
PARAM_VALUE 0 sk->sk_socket->file 0
PARAM_VALUE 0 sk->sk_socket->ops 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte
LOCK2 global &pernet_ops_rwsem