Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/device.c rdma_dev_exit_net() -> rdma_nl_net_exit()

Type Parameter Key Value
PARAM_VALUE 0 rnet 4096-ptr_max
DATA_SOURCE 0 rnet r rdma_net_to_dev_net
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

drivers/infiniband/core/device.c rdma_dev_init_net() -> rdma_nl_net_exit()

Type Parameter Key Value
PARAM_VALUE 0 rnet 4096-ptr_max
PARAM_VALUE 0 rnet->net.net 4096-1824583183996030975,1824583183996030977-ptr_max
PARAM_VALUE 0 rnet->net.net->notrefcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 rnet->net.net->notrefcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 0 rnet->net.net->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 rnet->net.net->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 0 rnet->nl_sock 4096-ptr_max
PARAM_VALUE 0 rnet->nl_sock->sk_sndtimeo 2500
CAPPED_DATA 0 rnet 1
CAPPED_DATA 0 rnet->net.net 1
DATA_SOURCE 0 rnet r rdma_net_to_dev_net
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem