Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ceph/dir.c __dcache_readdir() -> fpos_cmp()

Type Parameter Key Value
PARAM_VALUE 1 r 3-s64max
FUZZY_MAX 1 r 3
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 l unit_byte
UNITS 1 r unit_byte
LOCK2 &dentry->d_lockref.lock
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &dir_fp->readdir_lock
TYPE_LOCK (struct inode)->i_rwsem
TYPE_LOCK (struct lockref)->lock

fs/ceph/dir.c __dcache_readdir() -> fpos_cmp()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 l unit_byte
UNITS 1 r unit_byte
LOCK2 &dentry->d_lockref.lock
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &last->d_lockref.lock
TYPE_LOCK (struct inode)->i_rwsem
TYPE_LOCK (struct lockref)->lock