Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/udf/inode.c folio_fill_tail() -> folio_zero_tail()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping 4096-ptr_max
PARAM_VALUE 0 folio->mapping->host 4096-ptr_max
PARAM_VALUE 2 kaddr 4096-ptr_max
PARAM_VALUE 2 *kaddr 0-255
DATA_SOURCE 0 folio $0
NOSPEC 0 folio->mapping->writeback_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]

fs/ntfs3/attrib.c folio_fill_tail() -> folio_zero_tail()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 1 offset 1-u32max
PARAM_VALUE 2 kaddr 4096-ptr_max
PARAM_VALUE 2 *kaddr 0-255
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 offset unit_byte
UNITS 2 kaddr unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &ni->file.run_lock
HALF_LOCKED2 &ni->ni_lock

fs/gfs2/aops.c folio_fill_tail() -> folio_zero_tail()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping 4096-ptr_max
PARAM_VALUE 0 folio->mapping->host 4096-ptr_max
PARAM_VALUE 0 folio->mapping->host->i_sb 4096-ptr_max
PARAM_VALUE 2 kaddr 4096-ptr_max
PARAM_VALUE 2 *kaddr 0-255
CAPPED_DATA 0 folio->mapping 1
DATA_SOURCE 0 folio $0
NOSPEC 0 folio->mapping->writeback_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]
HALF_LOCKED2 &mapping->invalidate_lock

fs/ext4/inline.c ext4_read_inline_folio() -> folio_zero_tail()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->index 0
PARAM_VALUE 1 offset 0-4096
PARAM_VALUE 2 kaddr 4096-ptr_max
CAPPED_DATA 1 offset 1
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 folio $1
BIT_INFO 1 offset 0x0,0xffff
NOSPEC 0 folio->mapping->writeback_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]
UNITS 1 offset unit_byte
UNITS 2 kaddr unit_byte

fs/ntfs/inode.c folio_fill_tail() -> folio_zero_tail()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 1 offset 0-u32max
PARAM_VALUE 2 kaddr 4096-ptr_max
PARAM_VALUE 2 *kaddr 0-255
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dir_ni->mrec_lock
HALF_LOCKED2 &ni->mrec_lock
HALF_LOCKED2 &xrni->mrec_lock

fs/iomap/buffered-io.c folio_fill_tail() -> folio_zero_tail()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 2 kaddr 4096-ptr_max
PARAM_VALUE 2 *kaddr 0-255
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]
UNITS 1 offset unit_byte
UNITS 2 kaddr unit_byte

fs/ocfs2/aops.c folio_fill_tail() -> folio_zero_tail()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping->host->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 1 offset 0-s32max,9223372036854775808-u64max
PARAM_VALUE 2 kaddr 4096-ptr_max
PARAM_VALUE 2 *kaddr 0-255
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 folio $0
NOSPEC 0 folio->mapping->writeback_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]
HALF_LOCKED2 &oi->ip_alloc_sem

fs/ntfs/attrib.c folio_fill_tail() -> folio_zero_tail()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 2 kaddr 4096-ptr_max
PARAM_VALUE 2 *kaddr 0-255
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ni->runlist.lock
HALF_LOCKED2 &ni->mrec_lock
TYPE_LOCK (struct runlist)->lock

fs/romfs/super.c romfs_read_folio() -> folio_zero_tail()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping 4096-ptr_max
PARAM_VALUE 0 folio->mapping->host 4096-ptr_max
PARAM_VALUE 1 offset 0-4096
PARAM_VALUE 2 kaddr 4096-ptr_max
CAPPED_DATA 0 folio 1
CAPPED_DATA 0 folio->mapping 1
CAPPED_DATA 1 offset 1
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 folio $1
FUZZY_MAX 1 offset 4096
NOSPEC 0 folio->mapping->writeback_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]
UNITS 1 offset unit_byte
UNITS 2 kaddr unit_byte
HALF_LOCKED2 &mapping->invalidate_lock

fs/vboxsf/file.c vboxsf_read_folio() -> folio_zero_tail()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 2 kaddr 4096-ptr_max
PARAM_VALUE 2 *kaddr 0-255
CAPPED_DATA 0 folio 1
CAPPED_DATA 0 folio->mapping 1
DATA_SOURCE 0 folio $1
NOSPEC 0 folio->mapping->writeback_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]
UNITS 1 offset unit_byte
UNITS 2 kaddr unit_byte
HALF_LOCKED2 &mapping->invalidate_lock