Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/file.c nfs_vm_page_mkwrite() -> nfs_flush_incompatible()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_inode->i_sb 4096-ptr_max
PARAM_VALUE 1 folio 4096-ptr_max
PARAM_VALUE 1 folio->mapping 4096-ptr_max
PARAM_VALUE 1 folio->mapping->host 4096-ptr_max
PARAM_VALUE 1 folio->mapping->host->i_size 1-s64max
DATA_SOURCE 1 folio r _compound_head
RX_PATH
TASK_NOT_RUNNING
UNITS 1 folio unit_page

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

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 1-1025,1027-1029,1031-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
DATA_SOURCE 1 folio r write_begin_get_folio
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 folio->mapping->writeback_index 0-524287[c]
HALF_LOCKED2 &inode->i_rwsem