Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

mm/huge_memory.c folio_expected_ref_count() -> page_has_type()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &split_debug_mutex

mm/folio.c folio_expected_ref_count() -> page_has_type()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

mm/page_alloc.c __free_pages_prepare() -> page_has_type()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
BUF_SIZE 0 page (-1),1-s32max
BUF_SIZE 0 page (-1),1-s32max
DATA_SOURCE 0 page $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 page 4096-s32max[c]
HOST_DATA 0 page->private 0-9[c]
USER_DATA 0 page 4096-s32max[c]
USER_DATA 0 page->private 0-9[c]
UNITS 0 page unit_page

mm/vmscan.c folio_expected_ref_count() -> page_has_type()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

mm/memory.c validate_page_before_insert() -> page_has_type()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
DATA_SOURCE 0 page $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 page unit_page
HALF_LOCKED2 pte_lock

kernel/events/uprobes.c folio_expected_ref_count() -> page_has_type()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &uprobe->register_rwsem

mm/migrate.c folio_expected_ref_count() -> page_has_type()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

mm/khugepaged.c folio_expected_ref_count() -> page_has_type()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &vma->anon_vma->root->rwsem
HALF_LOCKED2 pte_ptl
HALF_LOCKED2 ptl
HALF_LOCKED2 rcu_read

mm/debug.c __dump_folio() -> page_has_type()

Type Parameter Key Value
PARAM_VALUE 0 page 3759170620264775680
PARAM_VALUE 0 page->page_type 0

mm/memfd.c folio_expected_ref_count() -> page_has_type()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PREEMPT_ADD
LOCK2 &inode->i_rwsem
LOCK2 irq
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &(xas->xa)->xa_lock
HALF_LOCKED2 &session->mutex
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/jfs/jfs_metapage.c folio_expected_ref_count() -> page_has_type()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING