Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
lib/test_hmm.c set_page_count() -> __page_ref_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->_refcount.counter | 1 |
| PARAM_VALUE | 1 | v | 1 |
| DATA_SOURCE | 0 | page | $0 |
| 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_count() -> __page_ref_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->_refcount.counter | 1 |
| PARAM_VALUE | 1 | v | 1 |
| DATA_SOURCE | 0 | page | $0 |
| DATA_SOURCE | 1 | v | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &attr->mutex |
mm/mm_init.c set_page_count() -> __page_ref_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->_refcount.counter | 0-1 |
| PARAM_VALUE | 1 | v | 0-1 |
| DATA_SOURCE | 0 | page | $0 |
| DATA_SOURCE | 1 | v | $1 |
| HARD_MAX | 1 | v | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | page | unit_page |
drivers/pci/p2pdma.c set_page_count() -> __page_ref_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->_refcount.counter | 0-1 |
| PARAM_VALUE | 1 | v | 0-1 |
| DATA_SOURCE | 0 | page | $0 |
| DATA_SOURCE | 1 | v | $1 |
| HARD_MAX | 1 | v | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &ipcp->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |
mm/hugetlb.c set_page_count() -> __page_ref_set()
| 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 |
| PARAM_VALUE | 0 | page->flags.f | 0,1073741824-u64max |
| PARAM_VALUE | 1 | v | 0 |
| DATA_SOURCE | 0 | page | $0 |
| DATA_SOURCE | 1 | v | $1 |
| NOCHECK_CALL |
mm/compaction.c set_page_count() -> __page_ref_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->_refcount.counter | 1 |
| PARAM_VALUE | 0 | page->private | 0 |
| PARAM_VALUE | 1 | v | 1 |
| DATA_SOURCE | 0 | page | $0 |
| DATA_SOURCE | 1 | v | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
mm/page_alloc.c set_page_count() -> __page_ref_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->_refcount.counter | 0-1 |
| PARAM_VALUE | 1 | v | 0-1 |
| DATA_SOURCE | 0 | page | $0 |
| DATA_SOURCE | 1 | v | $1 |
| HARD_MAX | 1 | v | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | page | unit_page |
mm/page_frag_cache.c set_page_count() -> __page_ref_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->_refcount.counter | 32769 |
| PARAM_VALUE | 1 | v | 32769 |
| DATA_SOURCE | 0 | page | $0 |
| DATA_SOURCE | 1 | v | $1 |
| 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 set_page_count() -> __page_ref_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->_refcount.counter | 1 |
| PARAM_VALUE | 1 | v | 1 |
| DATA_SOURCE | 0 | page | $0 |
| DATA_SOURCE | 1 | v | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/mempolicy.c set_page_count() -> __page_ref_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->_refcount.counter | 1 |
| PARAM_VALUE | 1 | v | 1 |
| CAPPED_DATA | 0 | page | 1 |
| DATA_SOURCE | 0 | page | $0 |
| DATA_SOURCE | 1 | v | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
kernel/liveupdate/kexec_handover.c set_page_count() -> __page_ref_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->_refcount.counter | 0-1 |
| PARAM_VALUE | 1 | v | 0-1 |
| DATA_SOURCE | 0 | page | $0 |
| DATA_SOURCE | 1 | v | $1 |
| HARD_MAX | 1 | v | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &session->mutex | ||
| HALF_LOCKED2 | _T->lock |