Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/ceph/mds_client.c handle_lease() -> ceph_seq_cmp()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 &dentry->d_lockref.lock
LOCK2 &session->s_mutex
HALF_LOCKED2 &parent->d_lockref.lock
TYPE_LOCK (struct ceph_mds_session)->s_mutex
TYPE_LOCK (struct lockref)->lock

fs/ceph/caps.c ceph_add_cap() -> ceph_seq_cmp()

Type Parameter Key Value
DATA_SOURCE 0 a $5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ci->i_ceph_lock
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &session->s_mutex
HALF_LOCKED2 &session->s_mutex

fs/ceph/caps.c ceph_add_cap() -> ceph_seq_cmp()

Type Parameter Key Value
DATA_SOURCE 1 b $6 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ci->i_ceph_lock
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &session->s_mutex
HALF_LOCKED2 &session->s_mutex

fs/ceph/caps.c ceph_add_cap() -> ceph_seq_cmp()

Type Parameter Key Value
DATA_SOURCE 0 a $6 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ci->i_ceph_lock
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &session->s_mutex
HALF_LOCKED2 &session->s_mutex

fs/ceph/caps.c handle_cap_export() -> ceph_seq_cmp()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 &ci->i_ceph_lock
LOCK2 &mdsc->snap_rwsem
HALF_LOCKED2 &session->s_mutex
HALF_LOCKED2 &tsession->s_mutex
TYPE_LOCK (struct ceph_inode_info)->i_ceph_lock
TYPE_LOCK (struct ceph_mds_client)->snap_rwsem

fs/ceph/caps.c handle_cap_grant() -> ceph_seq_cmp()

Type Parameter Key Value

fs/ceph/inode.c ceph_fill_file_size() -> ceph_seq_cmp()

Type Parameter Key Value
DATA_SOURCE 0 a $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ci->i_ceph_lock
HALF_LOCKED2 &mdsc->snap_rwsem

fs/ceph/inode.c ceph_fill_file_size() -> ceph_seq_cmp()

Type Parameter Key Value
DATA_SOURCE 0 a $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ci->i_ceph_lock
HALF_LOCKED2 &mdsc->snap_rwsem

fs/ceph/inode.c ceph_fill_file_time() -> ceph_seq_cmp()

Type Parameter Key Value
DATA_SOURCE 0 a $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ci->i_ceph_lock
HALF_LOCKED2 &mdsc->snap_rwsem

fs/ceph/inode.c ceph_fill_file_time() -> ceph_seq_cmp()

Type Parameter Key Value
DATA_SOURCE 0 a $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ci->i_ceph_lock
HALF_LOCKED2 &mdsc->snap_rwsem