Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/dir.c nfs_readdir_folio_array_append() -> nfs_readdir_array_set_eof()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->folio_full 0
CAPPED_DATA 0 array->last_cookie 1
DATA_SOURCE 0 array r kmap_local_folio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 array->last_cookie 0-u32max[c]
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/nfs/dir.c nfs_readdir_folio_set_eof() -> nfs_readdir_array_set_eof()

Type Parameter Key Value
DATA_SOURCE 0 array r kmap_local_folio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem