Open Menu /

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

lib/test_hmm.c folio_set_count() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 1 v 1
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 &ci->lock
HALF_LOCKED2 rcu_read

mm/cma.c set_page_refcounted() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->_refcount.counter 0
PARAM_VALUE 1 v 1
DATA_SOURCE 0 page $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &attr->mutex

mm/mm_init.c __init_zone_device_page() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->_mapcount.counter (-1)
PARAM_VALUE 0 page->_refcount.counter 1
PARAM_VALUE 0 page->flags.f 0,1073741824-18446744073709551614
PARAM_VALUE 0 page->zone_device_data 0
PARAM_VALUE 1 v 0
DATA_SOURCE 0 page $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 page unit_page
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock

mm/mm_init.c init_cma_reserved_pageblock() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->flags.f 0-18446744073709551614
PARAM_VALUE 1 v 0
NOCHECK_CALL
UNITS 0 page unit_page

mm/mm_init.c init_page_count() -> set_page_count()

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

mm/mm_init.c memmap_init_compound() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->_mapcount.counter (-1)
PARAM_VALUE 0 page->_refcount.counter 0-1
PARAM_VALUE 0 page->flags.f 0,1073741824-18446744073709551614
PARAM_VALUE 0 page->zone_device_data 0
PARAM_VALUE 1 v 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock

mm/mm_init.c set_page_refcounted() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->_refcount.counter 0
PARAM_VALUE 0 page->flags.f 0-18446744073709551614
PARAM_VALUE 1 v 1
DATA_SOURCE 0 page $0
NOCHECK_CALL
UNITS 0 page unit_page

drivers/pci/p2pdma.c p2pmem_alloc_mmap() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 1 v 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &ipcp->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/pci/p2pdma.c p2pmem_alloc_mmap() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->_refcount.counter 1
PARAM_VALUE 1 v 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &ipcp->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

mm/hugetlb.c hugetlb_folio_init_tail_vmemmap() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->_mapcount.counter (-1)
PARAM_VALUE 0 page->_refcount.counter 1
PARAM_VALUE 0 page->flags.f 0,1073741824-u64max
PARAM_VALUE 1 v 0
NOCHECK_CALL

mm/compaction.c set_page_refcounted() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->_refcount.counter 0
PARAM_VALUE 0 page->private 0
PARAM_VALUE 1 v 1
DATA_SOURCE 0 page $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/page_alloc.c __free_pages_core() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->flags.f 0-18446744073709551614
PARAM_VALUE 0 page->page_type u32max
PARAM_VALUE 1 v 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 page unit_page
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &vm->hotplug_mutex
HALF_LOCKED2 global &dm_device.ha_lock

mm/page_alloc.c __free_pages_core() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->flags.f 0-18446744073709551614
PARAM_VALUE 1 v 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 page unit_page
HALF_LOCKED2 irq

mm/page_alloc.c free_reserved_pages() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 1 v 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 page unit_page
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &balloon_mutex

mm/page_alloc.c set_page_refcounted() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->_refcount.counter 0
PARAM_VALUE 1 v 1
DATA_SOURCE 0 page $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/page_frag_cache.c __page_frag_alloc_align() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 1 v 32769
DATA_SOURCE 0 page r encoded_page_decode_page
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &call->conn->tx_data_alloc_lock
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 &xprt->xpt_mutex

mm/memremap.c folio_set_count() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 1 v 1
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/memremap.c zone_device_page_init() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 1 v 1
DATA_SOURCE 0 page $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mm->mmap_lock
HALF_LOCKED2 &driver_migrate_lock
HALF_LOCKED2 &prange->migrate_mutex
HALF_LOCKED2 &svms->lock
HALF_LOCKED2 &vm->lock
HALF_LOCKED2 global &drm_unplug_srcu
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mempolicy.c set_page_refcounted() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->_refcount.counter 0
PARAM_VALUE 1 v 1
CAPPED_DATA 0 page 1
DATA_SOURCE 0 page $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/liveupdate/kexec_handover.c kho_init_folio() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->private 0
PARAM_VALUE 1 v 1
DATA_SOURCE 0 page $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &session->mutex
HALF_LOCKED2 _T->lock

kernel/liveupdate/kexec_handover.c kho_init_folio() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 1 v 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &session->mutex
HALF_LOCKED2 _T->lock

kernel/liveupdate/kexec_handover.c kho_init_pages() -> set_page_count()

Type Parameter Key Value
PARAM_VALUE 1 v 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &session->mutex
HALF_LOCKED2 _T->lock