Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/../../../virt/kvm/guest_memfd.c __kvm_gmem_get_pfn() -> folio_file_pfn()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
DATA_SOURCE 0 folio r kvm_gmem_get_folio
DATA_SOURCE 1 index $2
HALF_LOCKED2 &file->f_mapping->invalidate_lock
HALF_LOCKED2 _T->lock

arch/x86/kvm/../../../virt/kvm/guest_memfd.c kvm_gmem_free_folio() -> folio_file_pfn()

Type Parameter Key Value
PARAM_VALUE 0 folio->pgmap->ops->folio_free 0,1125799360645222400,2314884282337259520,3487804881100709888,4287620441410408448,4432558333617348608
PARAM_VALUE 0 *folio->_mm_id 0-4294967295
PARAM_VALUE 1 index 0
BUF_SIZE 0 folio (-1)-s32max
BUF_SIZE 0 folio (-1)-s32max
DATA_SOURCE 0 folio $0
STR_LEN 0 folio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 folio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]
NO_OVERFLOW_SIMPLE 0 folio->index
NO_OVERFLOW_SIMPLE 0 folio->mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 folio->mapping->host->i_size
UNITS 0 folio unit_page
HALF_LOCKED2 0 &folio->private->lock