Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/smb/server/transport_rdma.c smb_direct_free_transport() -> smbdirect_socket_release()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &init_lock

fs/smb/server/transport_rdma.c smb_direct_listener_destroy() -> smbdirect_socket_release()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->first_error s32min-(-1),1-s32max
PARAM_VALUE 0 sc->idle.keepalive 0
PARAM_VALUE 0 sc->status 0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &init_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &ctrl_lock

fs/smb/server/transport_rdma.c smb_direct_new_connection() -> smbdirect_socket_release()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->accept.listener 0
PARAM_VALUE 0 sc->ib.dev->dma_device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 sc->recv_io.expected 3
PARAM_VALUE 0 sc->recv_io.reassembly.full_packet_received 1
DATA_SOURCE 0 sc $1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->first_error

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

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->accept.listener 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 global &init_lock

fs/smb/smbdirect/listen.c smbdirect_listen_connect_request() -> smbdirect_socket_release()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->accept.list.next->prev 4096-ptr_max
PARAM_VALUE 0 sc->accept.list.prev->next 4096-ptr_max
PARAM_VALUE 0 sc->accept.listener 0
PARAM_VALUE 0 sc->ib.dev 0
PARAM_VALUE 0 sc->ib.poll_ctx 0-4294967295
PARAM_VALUE 0 sc->listen.backlog (-1)
PARAM_VALUE 0 sc->rdma.cm_id 0
PARAM_VALUE 0 sc->rdma.expected_event 9,19
PARAM_VALUE 0 sc->recv_io.mem.gfp_mask 0-4294967295
PARAM_VALUE 0 sc->refs.destroy.refcount.refs.counter 1
PARAM_VALUE 0 sc->refs.disconnect.refcount.refs.counter 1
PARAM_VALUE 0 sc->rw_io.mem.gfp_mask 0-4294967295
PARAM_VALUE 0 sc->send_io.mem.gfp_mask 0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->ib.pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 sc->ib.pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 sc->ib.pd->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 sc->recv_io.mem.pool->min_nr
NO_OVERFLOW_SIMPLE 0 sc->send_io.mem.pool->min_nr
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex

fs/smb/client/smbdirect.c _smbd_get_connection() -> smbdirect_socket_release()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ib.poll_ctx 0,2
PARAM_VALUE 0 sc->listen.backlog (-1)
PARAM_VALUE 0 sc->logging.needed 3679552081237209088
PARAM_VALUE 0 sc->logging.private_ptr 0
PARAM_VALUE 0 sc->logging.vaprintf 7214976415193882624
PARAM_VALUE 0 sc->rdma.cm_id->event_handler 5569883809364402176
PARAM_VALUE 0 sc->rdma.cm_id->route.addr.dev_addr.bound_dev_if s32min-s32max
PARAM_VALUE 0 sc->rdma.cm_id->route.addr.dev_addr.hoplimit s32min-s32max
PARAM_VALUE 0 sc->rdma.expected_event 0,19
PARAM_VALUE 0 sc->recv_io.mem.gfp_mask 3264
PARAM_VALUE 0 sc->refs.destroy.refcount.refs.counter 1
PARAM_VALUE 0 sc->refs.disconnect.refcount.refs.counter 1
PARAM_VALUE 0 sc->rw_io.mem.gfp_mask 3264
PARAM_VALUE 0 sc->send_io.mem.gfp_mask 3264
PARAM_VALUE 0 sc->status 0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->first_error
HALF_LOCKED2 &server->_srv_mutex

fs/smb/client/smbdirect.c smbd_destroy() -> smbdirect_socket_release()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &server->_srv_mutex