Defined in 2 files as a function:

Referenced in 13 files:

Smatch caller information:

net/tipc/node.c tipc_node_xmit() -> check_net()

Type Parameter Key Value
PARAM_VALUE 0 net 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &nt->cluster_scope_lock

net/rds/cong.c rds_destroy_pending() -> check_net()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rds_cong_lock
LOCK2 rcu_read
HALF_LOCKED2 &rs->rs_recv_lock
HALF_LOCKED2 flags

net/core/net_namespace.c peernet2id_alloc() -> check_net()

Type Parameter Key Value
BUF_SIZE 0 net (-1),10304,10432
BUF_SIZE 0 net (-1),10304,10432
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
HALF_LOCKED2 rcu_read

kernel/bpf/net_namespace.c bpf_netns_link_fill_info() -> check_net()

Type Parameter Key Value
PARAM_VALUE 0 net 1-u64max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &netns_bpf_mutex
HALF_LOCKED2 &seq->lock

kernel/bpf/net_namespace.c bpf_netns_link_update_prog() -> check_net()

Type Parameter Key Value
PARAM_VALUE 0 net 1-u64max
LOCK2 _T->lock

net/rds/tcp_connect.c rds_destroy_pending() -> check_net()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock

net/ipv4/tcp_metrics.c tcp_metrics_flush_all() -> check_net()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 global &tcp_metrics_lock
HALF_LOCKED2 global &pernet_ops_rwsem

net/rds/tcp_send.c rds_destroy_pending() -> check_net()

Type Parameter Key Value
LOCK2 &sk->sk_callback_lock
LOCK2 bh
LOCK2 rcu_read
TYPE_LOCK (struct sock)->sk_callback_lock

net/ipv4/fib_frontend.c fib_new_table() -> check_net()

Type Parameter Key Value
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
HALF_LOCKED2 &ops->lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 &net->rtnl_mutex

net/rds/tcp_listen.c rds_destroy_pending() -> check_net()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

net/ipv4/tcp.c __tcp_close() -> check_net()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sk->sk_lock.slock
LOCK2 bh
TYPE_LOCK (struct socket_lock_t)->slock

net/ipv6/ip6mr.c ip6mr_cache_unresolved() -> check_net()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 bh
LOCK2 global &mfc_unres_lock
HALF_LOCKED2 rcu_read

net/ipv6/ip6mr.c mr_can_free_table() -> check_net()

Type Parameter Key Value
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 global &pernet_ops_rwsem

net/ipv6/ip6mr.c mroute_clean_tables() -> check_net()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rtnl_mutex

net/core/net-sysfs.c net_rx_queue_update_kobjects() -> check_net()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

net/core/net-sysfs.c netdev_queue_update_kobjects() -> check_net()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

net/core/net-sysfs.c netdev_unregister_kobject() -> check_net()

Type Parameter Key Value

net/ipv4/tcp_timer.c tcp_out_of_resources() -> check_net()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock

net/rds/send.c rds_destroy_pending() -> check_net()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/rds/threads.c rds_destroy_pending() -> check_net()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

net/ipv4/inet_timewait_sock.c inet_twsk_purge() -> check_net()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &pernet_ops_rwsem
LOCK2 global &tcp_exit_batch_mutex
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock

net/ipv4/inet_timewait_sock.c inet_twsk_purge() -> check_net()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &pernet_ops_rwsem
LOCK2 global &tcp_exit_batch_mutex
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock

net/rds/tcp_recv.c rds_destroy_pending() -> check_net()

Type Parameter Key Value
LOCK2 &sk->sk_callback_lock
LOCK2 bh
LOCK2 rcu_read
TYPE_LOCK (struct sock)->sk_callback_lock

net/ipv4/ipmr.c ipmr_cache_unresolved() -> check_net()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 bh
LOCK2 global &mfc_unres_lock
HALF_LOCKED2 rcu_read

net/ipv4/ipmr.c mr_can_free_table() -> check_net()

Type Parameter Key Value
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 global &pernet_ops_rwsem

net/ipv4/ipmr.c mroute_clean_tables() -> check_net()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rtnl_mutex

net/rds/connection.c rds_destroy_pending() -> check_net()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read