Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

fs/smb/smbdirect/connect.c smbdirect_connect_setup_connection() -> rdma_lock_handler()

Type Parameter Key Value
PARAM_VALUE 0 id 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &server->_srv_mutex

net/sunrpc/xprtrdma/svc_rdma_transport.c svc_rdma_accept() -> rdma_lock_handler()

Type Parameter Key Value
PARAM_VALUE 0 id 4096-ptr_max
PARAM_VALUE 0 id->device 4096-ptr_max
PARAM_VALUE 0 id->device->attrs.device_cap_flags 2097152-u64max
PARAM_VALUE 0 id->device->ops.create_qp 1-u64max
PARAM_VALUE 0 id->device->ops.size_ib_cq 0-4000000
PARAM_VALUE 0 id->device->ops.size_ib_pd 0-4000000
PARAM_VALUE 0 id->device->port_data 4096-ptr_max
PARAM_VALUE 0 id->qp 4096-ptr_max
CAPPED_DATA 0 id->device 1
NOCHECK_CALL

fs/smb/smbdirect/socket.c smbdirect_socket_cleanup_work() -> rdma_lock_handler()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/smbdirect/socket.c smbdirect_socket_destroy() -> rdma_lock_handler()

Type Parameter Key Value
PARAM_VALUE 0 id 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &init_lock

drivers/infiniband/core/ucma.c ucma_accept() -> rdma_lock_handler()

Type Parameter Key Value
PARAM_VALUE 0 id 4096-ptr_max
PARAM_VALUE 0 id->device 1-u64max
NOCHECK_CALL
LOCK2 &ctx->mutex
TYPE_LOCK (struct ucma_context)->mutex

drivers/infiniband/core/ucma.c ucma_accept() -> rdma_lock_handler()

Type Parameter Key Value
PARAM_VALUE 0 id 4096-ptr_max
PARAM_VALUE 0 id->device 1-u64max
NOCHECK_CALL
LOCK2 &ctx->mutex
TYPE_LOCK (struct ucma_context)->mutex

drivers/infiniband/core/ucma.c ucma_cleanup_mc_events() -> rdma_lock_handler()

Type Parameter Key Value
NOCHECK_CALL

drivers/infiniband/core/ucma.c ucma_migrate_id() -> rdma_lock_handler()

Type Parameter Key Value
NOCHECK_CALL

drivers/infiniband/core/ucma.c ucma_set_ib_path() -> rdma_lock_handler()

Type Parameter Key Value
PARAM_VALUE 0 id 4096-ptr_max
PARAM_VALUE 0 id->device 4096-ptr_max
PARAM_VALUE 0 id->device->port_data 4096-ptr_max
PARAM_VALUE 0 id->route.num_pri_alt_paths 1
PARAM_VALUE 0 id->route.path_rec 1-u64max
NOCHECK_CALL

drivers/infiniband/core/ucma.c ucma_write_cm_event() -> rdma_lock_handler()

Type Parameter Key Value
NOCHECK_CALL

fs/smb/smbdirect/listen.c smbdirect_socket_listen() -> rdma_lock_handler()

Type Parameter Key Value
PARAM_VALUE 0 id 4096-ptr_max
NOCHECK_CALL
LOCK2 &pool->lock
LOCK2 global &ctrl_lock
LOCK2 global &init_lock