Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ceph/inode.c update_dentry_lease() -> __update_dentry_lease()

Type Parameter Key Value
PARAM_VALUE 1 dentry 4096-ptr_max
PARAM_VALUE 1 dentry->d_lockref.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dentry->d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 1 dentry->d_op->d_dname 0,4096-ptr_max
PARAM_VALUE 1 dentry->d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 1 dentry->d_op->d_iput 0,4096-ptr_max
PARAM_VALUE 1 dentry->d_op->d_manage 0,1859587847549206528
PARAM_VALUE 1 dentry->d_op->d_prune 0,4096-ptr_max
PARAM_VALUE 1 dentry->d_op->d_real 0,4096-ptr_max
PARAM_VALUE 1 dentry->d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 1 dentry->d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 1 dentry->d_op->d_weak_revalidate 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 3 session->s_unsafe.prev 4096-ptr_max
PARAM_VALUE 3 session->s_unsafe.prev->next 4096-ptr_max
PARAM_VALUE 3 session->s_unsafe.prev->next->next 4096-ptr_max
PARAM_VALUE 5 old_lease_session 5143767024729587712
PARAM_VALUE 5 *old_lease_session 0
DATA_SOURCE 0 dir $0
DATA_SOURCE 1 dentry $1
DATA_SOURCE 2 lease $2
DATA_SOURCE 3 session $3
DATA_SOURCE 4 from_time $4
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 dentry->d_sb->s_blocksize
NO_OVERFLOW_SIMPLE 1 dentry->d_sb->s_blocksize_bits
UNITS 4 from_time unit_jiffy
LOCK2 &mdsc->snap_rwsem
LOCK2 &req->r_fill_mutex
LOCK2 &session->s_mutex
LOCK2 1 &dentry->d_lockref.lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_mds_client)->snap_rwsem
TYPE_LOCK (struct ceph_mds_request)->r_fill_mutex
TYPE_LOCK (struct ceph_mds_session)->s_mutex
TYPE_LOCK (struct lockref)->lock

fs/ceph/inode.c update_dentry_lease_careful() -> __update_dentry_lease()

Type Parameter Key Value
PARAM_VALUE 1 dentry 4096-ptr_max
PARAM_VALUE 1 dentry->d_lockref.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dentry->d_parent 4096-ptr_max
PARAM_VALUE 5 old_lease_session 4259588663906410496
PARAM_VALUE 5 *old_lease_session 0
CAPPED_DATA 1 dentry->d_name.len 1
DATA_SOURCE 1 dentry $0
DATA_SOURCE 2 lease $1
DATA_SOURCE 3 session $2
DATA_SOURCE 4 from_time $3
PARAM_COMPARE 0 dir == $1->d_parent->d_inode
PARAM_COMPARE 1 dentry->d_parent->d_inode == $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 1 &dentry->d_lockref.lock
TYPE_LOCK (struct lockref)->lock