Defined in 1 files as a prototype:
Defined in 2 files as a function:
- fs/smb/client/smbdirect.c, line 202 (as a function)
- fs/smb/client/smbdirect.h, line 62 (as a function)
Referenced in 2 files:
Smatch caller information:
fs/smb/client/connect.c cifs_abort_connection() -> smbd_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server | 4096-ptr_max |
| PARAM_VALUE | 0 | server->_srv_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | server->_srv_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | server->maxBuf | 0 |
| PARAM_VALUE | 0 | server->max_read | 0 |
| PARAM_VALUE | 0 | server->nofs_flag | 0,262144 |
| PARAM_VALUE | 0 | server->ops->add_credits | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->async_readv | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->can_echo | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->check_message | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->clear_stats | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->close | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->close_dir | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->dump_detail | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->echo | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->find_mid | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->flush | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->get_acl | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->get_credits | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->is_network_name_deleted | 5905334185464066048,8359393018571853824 |
| PARAM_VALUE | 0 | server->ops->is_oplock_break | 1421931149924728832,6061908479973941248 |
| PARAM_VALUE | 0 | server->ops->is_read_op | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->is_session_expired | 0,7347258589302591488 |
| PARAM_VALUE | 0 | server->ops->is_status_io_timeout | 0,8980158677023936512 |
| PARAM_VALUE | 0 | server->ops->is_status_pending | 0,6742650767380713472 |
| PARAM_VALUE | 0 | server->ops->is_transform_hdr | 0,7176274675243610112 |
| PARAM_VALUE | 0 | server->ops->logoff | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->make_node | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->mand_lock | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->map_error | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->mkdir | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->need_neg | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->negotiate | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->next_header | 0,8630180984356941824 |
| PARAM_VALUE | 0 | server->ops->open | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->print_stats | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->qfs_tcon | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->queryfs | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->receive_transform | 0,564095901655928832 |
| PARAM_VALUE | 0 | server->ops->rename | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->rmdir | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->send_cancel | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->sess_setup | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->set_EA | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->set_acl | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->set_credits | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->set_fid | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->sync_read | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->sync_write | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->unlink | 4096-ptr_max |
| PARAM_VALUE | 0 | server->primary_server | 0 |
| PARAM_VALUE | 0 | server->rdma | 1 |
| PARAM_VALUE | 0 | server->srv_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->ssocket | 0 |
| PARAM_VALUE | 0 | server->ssocket->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->vals->header_size | 0,33,64 |
| PARAM_VALUE | 0 | server->vals->protocol_id | 0,514,528,768,770,785 |
| PARAM_VALUE | 0 | server->vals->read_rsp_size | 0,59,80 |
| PARAM_VALUE | 0 | *server->fastest_cmd | 0-4294967295 |
| PARAM_VALUE | 0 | *server->slowest_cmd | 0-4294967295 |
| BUF_SIZE | 0 | server | (-1),128 |
| BUF_SIZE | 0 | server | (-1),128 |
| CAPPED_DATA | 0 | server | 1 |
| DATA_SOURCE | 0 | server | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | server->pdu_size | |
| LOCK2 | 0 | &server->_srv_mutex | |
| TYPE_LOCK | (struct TCP_Server_Info)->_srv_mutex |
fs/smb/client/connect.c clean_demultiplex_info() -> smbd_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server | 4096-ptr_max |
| PARAM_VALUE | 0 | server->credits | 1-s32max |
| PARAM_VALUE | 0 | server->echo.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->rdma | 1 |
| PARAM_VALUE | 0 | server->req_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->request_q.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->response_q.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->srv_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->tcpStatus | 2 |
| PARAM_VALUE | 0 | server->tcp_ses_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->tcp_ses_list.prev->next | 4096-ptr_max |
| DATA_SOURCE | 0 | server | $0 |
| FUZZY_MAX | 0 | server->credits | 1 |
| NOCHECK_CALL |
fs/smb/client/smbdirect.c smbd_reconnect() -> smbd_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server | 4096-ptr_max |
| PARAM_VALUE | 0 | server->_srv_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | server->_srv_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | server->mid_queue_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->nofs_flag | 0,262144 |
| PARAM_VALUE | 0 | server->ops->add_credits | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->async_readv | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->can_echo | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->check_message | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->clear_stats | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->close | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->close_dir | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->dump_detail | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->echo | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->find_mid | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->flush | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->get_acl | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->get_credits | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->is_network_name_deleted | 5905334185464066048,8359393018571853824 |
| PARAM_VALUE | 0 | server->ops->is_oplock_break | 1421931149924728832,6061908479973941248 |
| PARAM_VALUE | 0 | server->ops->is_read_op | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->is_session_expired | 0,7347258589302591488 |
| PARAM_VALUE | 0 | server->ops->is_status_io_timeout | 0,8980158677023936512 |
| PARAM_VALUE | 0 | server->ops->is_status_pending | 0,6742650767380713472 |
| PARAM_VALUE | 0 | server->ops->is_transform_hdr | 0,7176274675243610112 |
| PARAM_VALUE | 0 | server->ops->logoff | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->make_node | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->mand_lock | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->map_error | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->mkdir | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->need_neg | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->negotiate | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->next_header | 0,8630180984356941824 |
| PARAM_VALUE | 0 | server->ops->open | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->print_stats | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->qfs_tcon | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->queryfs | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->receive_transform | 0,564095901655928832 |
| PARAM_VALUE | 0 | server->ops->rename | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->rmdir | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->send_cancel | 0,4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->sess_setup | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->set_EA | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->set_acl | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->set_credits | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->set_fid | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->sync_read | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->sync_write | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->unlink | 4096-ptr_max |
| PARAM_VALUE | 0 | server->rdma | 1 |
| PARAM_VALUE | 0 | server->smbd_conn | 1-u64max |
| PARAM_VALUE | 0 | server->srv_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->vals->header_size | 0,33,64 |
| PARAM_VALUE | 0 | server->vals->protocol_id | 0,514,528,768,770,785 |
| PARAM_VALUE | 0 | server->vals->read_rsp_size | 0,59,80 |
| PARAM_VALUE | 0 | server->vals->req_capabilities | 0,4,6,8,12,14,16-648 |
| PARAM_VALUE | 0 | *server->fastest_cmd | 0-4294967295 |
| PARAM_VALUE | 0 | *server->session_key.response | 0,144 |
| PARAM_VALUE | 0 | *server->slowest_cmd | 0-4294967295 |
| PARAM_VALUE | 0 | *server->smbd_conn->socket->ib.pd->res.comp.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *server->smbd_conn->socket->ib.recv_cq->res.comp.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *server->smbd_conn->socket->ib.send_cq->res.comp.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| BUF_SIZE | 0 | server | (-1),128 |
| BUF_SIZE | 0 | server | (-1),128 |
| BUF_SIZE | 0 | server->hostname | (-1)-s32max |
| CAPPED_DATA | 0 | server | 1 |
| DATA_SOURCE | 0 | server | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | server->pdu_size | |
| LOCK2 | 0 | &server->_srv_mutex | |
| TYPE_LOCK | (struct TCP_Server_Info)->_srv_mutex |