Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ceph/mdsmap.c ceph_mdsmap_get_random_mds() -> __mdsmap_get_random_mds()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 1 ignore_laggy 0
BUF_SIZE 0 m (-1),104
BUF_SIZE 0 m (-1),104
DATA_SOURCE 0 m $0
NOSPEC 0 m->possible_max_rank
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 m->m_cas_pg_pool 0-u64max
USER_DATA 0 m->m_client_epoch 0-u32max
USER_DATA 0 m->m_enabled 0-1
USER_DATA 0 m->m_last_failure 0-u32max
USER_DATA 0 m->m_max_file_size 0-u64max
USER_DATA 0 m->m_max_mds 0-u32max
USER_DATA 0 m->m_max_xattr_size 0-u64max
USER_DATA 0 m->m_num_data_pg_pools s32min-s32max
USER_DATA 0 m->m_root 0-u32max
USER_DATA 0 m->m_session_autoclose 0-u32max
USER_DATA 0 m->m_session_timeout 0-u32max
USER_DATA 0 m->possible_max_rank 0-u32max
LOCK2 &mdsc->mutex
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_mds_client)->mutex

fs/ceph/mdsmap.c ceph_mdsmap_get_random_mds() -> __mdsmap_get_random_mds()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->possible_max_rank 0-s32max
PARAM_VALUE 1 ignore_laggy 1
BUF_SIZE 0 m (-1),104
BUF_SIZE 0 m (-1),104
CAPPED_DATA 0 m->possible_max_rank 1
DATA_SOURCE 0 m $0
NOSPEC 0 m->possible_max_rank
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 m->m_cas_pg_pool 0-u64max
USER_DATA 0 m->m_client_epoch 0-u32max
USER_DATA 0 m->m_enabled 0-1
USER_DATA 0 m->m_last_failure 0-u32max
USER_DATA 0 m->m_max_file_size 0-u64max
USER_DATA 0 m->m_max_mds 0-u32max
USER_DATA 0 m->m_max_xattr_size 0-u64max
USER_DATA 0 m->m_num_data_pg_pools s32min-s32max
USER_DATA 0 m->m_root 0-u32max
USER_DATA 0 m->m_session_autoclose 0-u32max
USER_DATA 0 m->m_session_timeout 0-u32max
USER_DATA 0 m->possible_max_rank 0-s32max[c]
LOCK2 &mdsc->mutex
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_mds_client)->mutex