Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

fs/nilfs2/page.c nilfs_copy_folio() -> folio_copy()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
CAPABLE 0 21
NOCHECK_CALL
HALF_LOCKED2 &mi->mi_sem

lib/test_hmm.c dmirror_device_evict_chunk() -> folio_copy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 src unit_page
HALF_LOCKED2 &mdevice->devmem_lock

fs/aio.c aio_migrate_folio() -> folio_copy()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dst->mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->_deferred_list.next->prev 4096-ptr_max
PARAM_VALUE 1 src->_deferred_list.prev->next 4096-ptr_max
PARAM_VALUE 1 src->index 0-18446744073709551614
PARAM_VALUE 1 src->mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 src->mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 src->page._refcount.counter s32min-(-1),1-s32max
PARAM_VALUE 1 *src->_mm_id 0-4294967295
CAPPED_DATA 1 src 1
DATA_SOURCE 0 dst $1
DATA_SOURCE 1 src $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ai->migrate_lock
LOCK2 &ctx->completion_lock
LOCK2 &ctx->ring_lock
LOCK2 flags
TYPE_LOCK (struct aio_inode_info)->migrate_lock
TYPE_LOCK (struct kioctx)->completion_lock
TYPE_LOCK (struct kioctx)->ring_lock

mm/shmem.c shmem_replace_folio() -> folio_copy()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
DATA_SOURCE 0 dst r shmem_alloc_folio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/migrate_device.c migrate_device_coherent_folio() -> folio_copy()

Type Parameter Key Value
PARAM_VALUE 0 dst 0,4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->pgmap->type 2
DATA_SOURCE 0 dst r folio_alloc_noprof
DATA_SOURCE 1 src $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL