Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/vmscan.c remove_mapping() -> __remove_mapping()

Type Parameter Key Value
PARAM_VALUE 0 mapping 1-u64max
PARAM_VALUE 0 mapping->a_ops->error_remove_folio 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440
PARAM_VALUE 0 mapping->host->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 mapping->host->i_mapping->invalidate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->host->i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2704,2712
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 folio 4096-ptr_max
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 2 reclaimed 0
PARAM_VALUE 3 target_memcg 0
BUF_SIZE 0 mapping (-1),552
BUF_SIZE 0 mapping (-1),552
DATA_SOURCE 0 mapping $0
DATA_SOURCE 1 folio $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 mapping->host->i_size
UNITS 1 folio unit_page

mm/vmscan.c shrink_folio_list() -> __remove_mapping()

Type Parameter Key Value
PARAM_VALUE 0 mapping 1-u64max
PARAM_VALUE 1 folio 4096-ptr_max
PARAM_VALUE 1 folio->mapping 1-u64max
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
PARAM_VALUE 2 reclaimed 1
BUF_SIZE 0 mapping (-1),552
BUF_SIZE 0 mapping (-1),552
CAPPED_DATA 1 folio 1
DATA_SOURCE 0 mapping r folio_mapping
DATA_SOURCE 1 folio r lru_to_folio
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 folio->mapping->writeback_index 0-524287[c]