Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/smb/client/dfs.c ref_walk_next_tgt() -> dfs_cache_get_next_tgt()

Type Parameter Key Value
PARAM_VALUE 0 tl 4096-ptr_max
PARAM_VALUE 1 it 1-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &cifs_mount_mutex
HALF_LOCKED2 &fc->uapi_mutex

fs/smb/client/dfs.c tree_connect_dfs_target() -> dfs_cache_get_next_tgt()

Type Parameter Key Value
PARAM_VALUE 0 tl 6308071274258231296
PARAM_VALUE 1 it 4096-ptr_max
CAPPED_DATA 1 it->it_path_consumed 1
DATA_SOURCE 0 tl $5
PARAM_COMPARE 0 &tl->tl_list != $0->tl_list.next
CONSTRAINT 1 it->it_path_consumed <=1000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ses->session_mutex
HALF_LOCKED2 &tcon->ses->session_mutex
TYPE_LOCK (struct cifs_ses)->session_mutex

fs/smb/client/connect.c reconnect_target_locked() -> dfs_cache_get_next_tgt()

Type Parameter Key Value
PARAM_VALUE 0 tl 2025755273035694080
PARAM_VALUE 1 it 4096-ptr_max
DATA_SOURCE 0 tl $1
PARAM_COMPARE 0 &tl->tl_list != $0->tl_list.next
RX_PATH
TASK_NOT_RUNNING
LOCK2 &server->_srv_mutex
TYPE_LOCK (struct TCP_Server_Info)->_srv_mutex