Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 dfi 4096-ptr_max
PARAM_VALUE 4 next_offset 1-268435456
BUF_SIZE 0 fsc 1-s32max
BUF_SIZE 0 fsc 1-s32max
BUF_SIZE 1 dfi s32min-(-2),1-s32max
BUF_SIZE 1 dfi s32min-(-2),1-s32max
BUF_SIZE 2 name s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 fsc unit_byte
UNITS 2 name unit_byte
UNITS 3 len unit_byte
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &last->d_lockref.lock
TYPE_LOCK (struct inode)->i_rwsem

fs/ceph/dir.c ceph_readdir() -> note_last_dentry()

Type Parameter Key Value
PARAM_VALUE 0 fsc 4096-ptr_max
PARAM_VALUE 0 fsc->mdsc->cap_delay_list.prev->next 4096-ptr_max
PARAM_VALUE 0 fsc->mdsc->cap_delay_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 fsc->mdsc->cap_delay_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fsc->mdsc->caps_list.next->prev 3765950406695575552
PARAM_VALUE 0 fsc->mdsc->caps_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fsc->mount_options 4096-ptr_max
PARAM_VALUE 1 dfi 4096-ptr_max
PARAM_VALUE 1 dfi->last_readdir 4096-ptr_max
PARAM_VALUE 1 dfi->last_readdir->r_completion.done 0-4294967293,u32max
PARAM_VALUE 1 dfi->last_readdir->r_reply_info.dir_dir 4096-ptr_max
PARAM_VALUE 1 dfi->last_readdir->r_reply_info.dir_nr 1-s32max
PARAM_VALUE 1 dfi->last_readdir->r_safe_completion.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 dfi->last_readdir->r_session 0
BUF_SIZE 0 fsc 1-s32max
BUF_SIZE 0 fsc 1-s32max
BUF_SIZE 1 dfi s32min-(-2),1-s32max
BUF_SIZE 1 dfi s32min-(-2),1-s32max
BIT_INFO 0 fsc->mount_options->flags 0x0,0xffffffff
BIT_INFO 1 dfi->file_info.flags 0x0,0xfffd
RX_PATH
TASK_NOT_RUNNING
UNITS 0 fsc unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem