Defined in 1 files as a macro:

Referenced in 7 files:

Smatch caller information:

fs/ubifs/compress.c memcpy_from_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &c->write_reserve_mutex

fs/ubifs/compress.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &c->bu_mutex
HALF_LOCKED2 &ui->ui_mutex

lib/iov_iter.c copy_folio_from_iter_atomic() -> folio_test_highmem()

Type Parameter Key Value
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &vi->i_rwsem

fs/erofs/zdata.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/btrfs/zstd.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/affs/file.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/erofs/fileio.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/ntfs/bdev-io.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &log_ni->runlist.lock
HALF_LOCKED2 &fc->uapi_mutex
TYPE_LOCK (struct runlist)->lock

fs/nilfs2/recovery.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fc->uapi_mutex

fs/ntfs/dir.c memcpy_from_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dir_ni->mrec_lock
HALF_LOCKED2 &ni->mrec_lock
HALF_LOCKED2 &vol->root_ino->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/udf/inode.c folio_zero_tail() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/udf/inode.c memcpy_from_file_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
CAPPED_DATA 0 folio 1
DATA_SOURCE 0 folio $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mapping->invalidate_lock

fs/udf/inode.c memcpy_from_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &iinfo->i_data_sem
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct udf_inode_info)->i_data_sem

io_uring/zcrx.c io_copy_page() -> folio_test_highmem()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

io_uring/zcrx.c io_copy_page() -> folio_test_highmem()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &ni->file.run_lock
HALF_LOCKED2 &ni->ni_lock

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

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &ni->file.run_lock
HALF_LOCKED2 &ni->ni_lock

fs/ntfs3/attrib.c memcpy_from_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
CAPPED_DATA 0 folio 1
DATA_SOURCE 0 folio $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ni->base->ni_lock
TYPE_LOCK (struct ntfs_inode)->ni_lock

fs/ocfs2/symlink.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/gfs2/aops.c folio_fill_tail() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/gfs2/aops.c folio_zero_tail() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/gfs2/aops.c memcpy_from_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ip->i_inode.i_rwsem
HALF_LOCKED2 &sdp->sd_log_flush_lock

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

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/fuse/dev.c fuse_copy_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fc->killsb

fs/jbd2/journal.c memcpy_from_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 folio unit_page
LOCK2 &jh_in->b_state_lock
TYPE_LOCK (struct journal_head)->b_state_lock

fs/ext4/verity.c memcpy_from_file_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $1
RX_PATH
TASK_NOT_RUNNING

fs/ext4/verity.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/hfs/btree.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fc->uapi_mutex

fs/gfs2/quota.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ip->i_inode.i_rwsem
LOCK2 &sdp->sd_log_flush_lock
TYPE_LOCK (struct gfs2_sbd)->sd_log_flush_lock
TYPE_LOCK (struct inode)->i_rwsem

fs/btrfs/lzo.c memcpy_from_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

fs/btrfs/lzo.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/f2fs/inline.c memcpy_from_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
CAPPED_DATA 0 folio 1
DATA_SOURCE 0 folio $1
RX_PATH
TASK_NOT_RUNNING

fs/f2fs/inline.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
CAPPED_DATA 0 folio 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]

fs/btrfs/zlib.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/f2fs/verity.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/ntfs/inode.c folio_zero_tail() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/ntfs/inode.c memcpy_from_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ni->mrec_lock
HALF_LOCKED2 &xoni->mrec_lock
HALF_LOCKED2 &xrni->mrec_lock

fs/ntfs/inode.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/verity/pagecache.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mapping->invalidate_lock

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

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]

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

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]

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

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/ocfs2/aops.c folio_zero_tail() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]
HALF_LOCKED2 &oi->ip_alloc_sem

fs/ocfs2/aops.c memcpy_from_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &oi->ip_alloc_sem

fs/ocfs2/aops.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 folio unit_page
HALF_LOCKED2 &oi->ip_alloc_sem

fs/f2fs/file.c memcpy_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
CAPPED_DATA 0 folio 1
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]
LOCK2 &sbi->cp_rwsem.internal_rwsem
LOCK2 &src_inode->i_rwsem
HALF_LOCKED2 &dst_inode->i_mapping->invalidate_lock
HALF_LOCKED2 &dst_inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &src_inode->i_mapping->invalidate_lock
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/f2fs/file.c memcpy_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
CAPPED_DATA 0 folio->mapping 1
DATA_SOURCE 0 folio $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sbi->cp_rwsem.internal_rwsem
LOCK2 &src_inode->i_rwsem
HALF_LOCKED2 &dst_inode->i_mapping->invalidate_lock
HALF_LOCKED2 &dst_inode->i_rwsem
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &src_inode->i_mapping->invalidate_lock
TYPE_LOCK (struct f2fs_rwsem)->internal_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/buffer.c folio_set_bh() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
CAPPED_DATA 0 folio 1
DATA_SOURCE 0 folio $1
STR_LEN 0 folio (-1)-0
STR_LEN 0 folio (-1)-0
NOSPEC 0 folio->mapping->writeback_index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]
NO_OVERFLOW_SIMPLE 0 folio->index
UNITS 0 folio unit_page
HALF_LOCKED2 &jh_in->b_state_lock

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

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/ntfs/attrib.c folio_zero_tail() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/ntfs/attrib.c memcpy_from_folio() -> folio_test_highmem()

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

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

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/f2fs/super.c memcpy_from_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
CAPPED_DATA 0 folio->mapping 1
DATA_SOURCE 0 folio $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dqopt->dqio_sem
HALF_LOCKED2 &dquot->dq_lock
HALF_LOCKED2 &oinfo->dqi_gqinode->i_rwsem

fs/f2fs/super.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dqopt->dqio_sem
HALF_LOCKED2 &dquot->dq_lock

fs/btrfs/reflink.c memcpy_to_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode_out->i_rwsem
HALF_LOCKED2 &src_inode->vfs_inode.i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
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/btrfs/send.c memcpy_from_folio() -> folio_test_highmem()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio $1