Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/smb/client/smb2ops.c smb2_decrypt_offload() -> (struct smb_version_operations)->is_network_name_deleted()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->Command 8
PARAM_VALUE 0 buf->ProtocolId 0-1112364028,1112364030-4294967295
PARAM_VALUE 1 server 4096-ptr_max
PARAM_VALUE 1 server->mid_queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 server->ops 4096-ptr_max
PARAM_VALUE 1 server->ops->can_echo 3521675195222310912,4237501531548327936
PARAM_VALUE 1 server->ops->is_network_name_deleted 5905334185464066048,8359393018571853824
PARAM_VALUE 1 server->ops->send_cancel 0,4096-ptr_max
PARAM_VALUE 1 server->secmech.dec 1-u64max
PARAM_VALUE 1 server->secmech.enc 1-u64max
PARAM_VALUE 1 server->total_read 0-3147483799
PARAM_VALUE 1 server->vals 4096-ptr_max
PARAM_VALUE 1 server->vals->read_rsp_size 0,59,80
PARAM_VALUE 1 server->vals->req_capabilities 0,4,6,12,16-300
CAPPED_DATA 0 buf->MessageId 1
CAPPED_DATA 1 server->vals->read_rsp_size 1
CONTAINER 0 *(-888-160-80+96) $(-1)
CONTAINER 1 *(-888-160+0) $(-1)
NOCHECK_CALL
USER_DATA 1 server->total_read 0-3147483799[c]
HALF_LOCKED2 &pool->lock