Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/migrate.c folio_migrate_flags() -> folio_migrate_ksm()

Type Parameter Key Value
PARAM_VALUE 0 newfolio 4096-ptr_max
PARAM_VALUE 0 newfolio->mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 newfolio->mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 *newfolio->_mm_id 0-4294967295
PARAM_VALUE 1 folio 4096-ptr_max
PARAM_VALUE 1 folio->mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2704,2712
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
PARAM_VALUE 1 *folio->_mm_id 0-4294967295
CAPPED_DATA 1 folio 1
DATA_SOURCE 0 newfolio $0
DATA_SOURCE 1 folio $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 newfolio->index
HALF_LOCKED2 &ai->migrate_lock
HALF_LOCKED2 &ctx->completion_lock
HALF_LOCKED2 &ctx->ring_lock
HALF_LOCKED2 flags