Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 13 files:
- drivers/infiniband/sw/rxe/rxe_net.c, line 294
- drivers/infiniband/sw/rxe/rxe_ns.c
- drivers/net/amt.c, line 3085
- drivers/net/bareudp.c, line 291
- drivers/net/geneve.c, line 1088
- drivers/net/gtp.c
- drivers/net/pfcp.c, line 108
- drivers/net/vxlan/vxlan_core.c
- drivers/net/wireguard/socket.c
- net/ipv4/fou_core.c
- net/ipv4/udp_tunnel_core.c, line 200
- net/sctp/protocol.c
- net/tipc/udp_media.c
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 |