Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/shmem.c shmem_undo_range() -> folio_batch_remove_exceptionals()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 5021049936466386944
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

mm/shmem.c shmem_undo_range() -> folio_batch_remove_exceptionals()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 5021049936466386944
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

mm/truncate.c invalidate_inode_pages2_range() -> folio_batch_remove_exceptionals()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 5660933744539840512
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &btree->b_sem
HALF_LOCKED2 &fc->killsb
HALF_LOCKED2 &fi->dax->sem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &iocb->ki_filp->f_inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2 &sbi->umount_mutex

mm/truncate.c mapping_try_invalidate() -> folio_batch_remove_exceptionals()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 8323318326295396352
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/truncate.c truncate_folio_batch_exceptionals() -> folio_batch_remove_exceptionals()

Type Parameter Key Value
PARAM_VALUE 0 fbatch 1728012304299606016
PARAM_VALUE 0 fbatch->folios 4096-ptr_max
DATA_SOURCE 0 fbatch $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &inode_out->i_rwsem
HALF_LOCKED2 &journal->j_checkpoint_mutex
HALF_LOCKED2 &mapping->host->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &sbi->cp_global_sem.internal_rwsem
HALF_LOCKED2 &sbi->gc_lock.internal_rwsem