Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/proc/task_mmu.c pagemap_pmd_range_thp() -> __folio_page_mapped_exclusively()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping 1-u64max
PARAM_VALUE 1 page 4096-ptr_max
DATA_SOURCE 0 folio r _compound_head
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock

fs/proc/task_mmu.c pte_to_pagemap_entry() -> __folio_page_mapped_exclusively()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping 1-u64max
PARAM_VALUE 1 page 4096-ptr_max
DATA_SOURCE 0 folio r _compound_head
RX_PATH
TASK_NOT_RUNNING
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock