Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/smb/client/smb2ops.c smb2_decrypt_offload() -> mid_execute_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server | 4096-ptr_max |
| PARAM_VALUE | 0 | server->mid_queue_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ops->can_echo | 3521675195222310912,4237501531548327936 |
| PARAM_VALUE | 0 | server->ops->is_network_name_deleted | 5905334185464066048,8359393018571853824 |
| PARAM_VALUE | 0 | server->secmech.dec | 1-u64max |
| PARAM_VALUE | 0 | server->secmech.enc | 1-u64max |
| PARAM_VALUE | 0 | server->total_read | 0-3147483799 |
| PARAM_VALUE | 0 | server->vals | 4096-ptr_max |
| PARAM_VALUE | 0 | server->vals->read_rsp_size | 0,59,80 |
| PARAM_VALUE | 0 | server->vals->req_capabilities | 0,4,6,12,16-300 |
| PARAM_VALUE | 1 | mid | 4096-ptr_max |
| PARAM_VALUE | 1 | mid->callback_data->result | s32min-s32max |
| PARAM_VALUE | 1 | mid->decrypted | 1 |
| PARAM_VALUE | 1 | mid->deleted_from_q | 1 |
| PARAM_VALUE | 1 | mid->mid_state | 4,16 |
| PARAM_VALUE | 1 | mid->qhead.next | 4096-ptr_max |
| PARAM_VALUE | 1 | mid->qhead.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | mid->qhead.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | mid->qhead.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | mid->qhead.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | mid->qhead.prev->prev | 4096-ptr_max |
| CAPPED_DATA | 0 | server->vals->read_rsp_size | 1 |
| CAPPED_DATA | 1 | mid->command | 1 |
| CAPPED_DATA | 1 | mid->mid | 1 |
| DATA_SOURCE | 1 | mid | r smb2_find_dequeue_mid |
| NOCHECK_CALL | |||
| USER_DATA | 0 | server->total_read | 0-3147483799[c] |
| HALF_LOCKED2 | &pool->lock |
fs/smb/client/smb2ops.c smb2_decrypt_offload() -> mid_execute_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server | 4096-ptr_max |
| PARAM_VALUE | 0 | server->mid_queue_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->ops->can_echo | 3521675195222310912,4237501531548327936 |
| PARAM_VALUE | 0 | server->srv_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->tcpStatus | 3 |
| 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->slowest_cmd | 0-4294967295 |
| PARAM_VALUE | 1 | mid | 4096-ptr_max |
| PARAM_VALUE | 1 | mid->decrypted | 1 |
| PARAM_VALUE | 1 | mid->mid_state | 8 |
| CAPPED_DATA | 0 | server->vals->read_rsp_size | 1 |
| CAPPED_DATA | 1 | mid->command | 1 |
| CAPPED_DATA | 1 | mid->mid | 1 |
| DATA_SOURCE | 1 | mid | r smb2_find_dequeue_mid |
| NOCHECK_CALL | |||
| USER_DATA | 0 | server->total_read | 0-3147483799[c] |
| HALF_LOCKED2 | &pool->lock |
fs/smb/client/connect.c cifs_abort_connection() -> mid_execute_callback()
| 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->list.prev->next | 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->blocked_on | 0 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | server->mid_queue_lock.rlock.dep_map->name | 0-255 |
| 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->srv_lock.rlock.dep_map->name | 0-255 |
| 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->lock_cmd | 0,10,36 |
| 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 |
| PARAM_VALUE | 1 | mid | 4096-ptr_max |
| BUF_SIZE | 0 | server | (-1),128 |
| BUF_SIZE | 0 | server | (-1),128 |
| CAPPED_DATA | 0 | server | 1 |
| CAPPED_DATA | 0 | &server->pending_mid_q | 1 |
| DATA_SOURCE | 0 | server | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | server->pdu_size |
fs/smb/client/connect.c clean_demultiplex_info() -> mid_execute_callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server | 4096-ptr_max |
| PARAM_VALUE | 0 | server->echo.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->mid_queue_lock.rlock.dep_map->name | 0-255 |
| 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->tcp_ses_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->tcp_ses_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->vals->lock_cmd | 0,10,36 |
| PARAM_VALUE | 0 | *server->fastest_cmd | 0-4294967295 |
| PARAM_VALUE | 0 | *server->slowest_cmd | 0-4294967295 |
| PARAM_VALUE | 1 | mid | 4096-7775479153124990975,7775479153124990977-ptr_max |
| CAPPED_DATA | 0 | server | 1 |
| CAPPED_DATA | 0 | &server->pending_mid_q | 1 |
| DATA_SOURCE | 0 | server | $0 |
| NOCHECK_CALL |
fs/smb/client/connect.c is_smb_response() -> mid_execute_callback()
| 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->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->blocked_on | 0 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | server->dstaddr.sin_addr | s32min-s32max |
| PARAM_VALUE | 0 | server->echo.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->mid_queue_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->srv_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_bind_node.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->ipv4.ping_port_rover | 1-u16max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->refcnt_tracker.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net_refcnt | 1 |
| 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->ssocket->sk->sk_allocation | 3136 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_backlog.head->extensions->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_filter->refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.flags | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.is_hard | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.is_lazy | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.is_queued | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.is_soft | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_user_data->work.flags | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->sobject | 0-u16max |
| PARAM_VALUE | 0 | server->ssocket->type | 1 |
| PARAM_VALUE | 0 | server->tcp_ses_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->tcp_ses_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->vals->lock_cmd | 0,10,36 |
| PARAM_VALUE | 0 | *server->fastest_cmd | 0-4294967295 |
| PARAM_VALUE | 0 | *server->session_key.response | 0 |
| 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.qp->srq_completion.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 |
| PARAM_VALUE | 0 | *server->ssocket->sk->sk_backlog.head->dev->name | 0-255 |
| PARAM_VALUE | 1 | mid | 4096-ptr_max |
| PARAM_VALUE | 1 | mid->mid_rc | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | mid->mid_state | 128 |
| CAPPED_DATA | 0 | server | 1 |
| CAPPED_DATA | 0 | &server->pending_mid_q | 1 |
| DATA_SOURCE | 0 | server | $0 |
| NOCHECK_CALL |