Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/file.c nfs_write_begin() -> nfs_want_read_modify_write()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 file->f_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 file->f_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 file->f_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 1 folio 4096-ptr_max
PARAM_VALUE 1 folio->mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 folio->mapping->i_mmap_rwsem.first_waiter->type 0-1
CAPPED_DATA 1 folio 1
DATA_SOURCE 1 folio r write_begin_get_folio
DATA_SOURCE 2 pos $2
DATA_SOURCE 3 len $3
NOSPEC 2 pos
NOSPEC 3 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 folio->mapping->writeback_index 0-524287[c]
USER_DATA 2 pos s64min-s64max
USER_DATA 3 len 0-s32max[c]
UNITS 2 pos unit_byte
HALF_LOCKED2 &inode->i_rwsem