Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/page_table_check.c __page_table_check_zero() -> page_ext_iter_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 5039324125944672256 |
| PARAM_VALUE | 0 | iter->index | 0-1 |
| PARAM_VALUE | 0 | iter->page_ext | 4096-ptr_max |
| PARAM_VALUE | 0 | iter->start_pfn | 0-12384898975264768,9223396226110586880-u64max |
| PARAM_VALUE | 1 | count | 1-s32max,18446744071562067968-u64max |
| CAPPED_DATA | 1 | count | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
mm/page_table_check.c page_table_check_clear() -> page_ext_iter_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 7884120282797244416 |
| PARAM_VALUE | 0 | iter->index | 0-1 |
| PARAM_VALUE | 0 | iter->page_ext | 4096-ptr_max |
| PARAM_VALUE | 1 | count | 1,512,262144 |
| DATA_SOURCE | 1 | count | $1 |
| HARD_MAX | 1 | count | 262144 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | count | unit_page |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | ptl |
mm/page_table_check.c page_table_check_set() -> page_ext_iter_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 4009275973257928704 |
| PARAM_VALUE | 0 | iter->index | 0-1 |
| PARAM_VALUE | 0 | iter->page_ext | 4096-ptr_max |
| PARAM_VALUE | 1 | count | 1-u64max |
| CAPPED_DATA | 1 | count | 1 |
| CAPPED_DATA | 1 | count | 1 |
| DATA_SOURCE | 1 | count | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | count | unit_page |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | ptl |
mm/page_owner.c __folio_copy_owner() -> page_ext_iter_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 2832916111040368640 |
| PARAM_VALUE | 0 | iter->index | 0-1 |
| PARAM_VALUE | 0 | iter->page_ext | 4096-ptr_max |
| PARAM_VALUE | 0 | iter->start_pfn | 0-12384898975264768,9223396226110586880-u64max |
| PARAM_VALUE | 1 | count | 1-s32max,18446744071562067968-u64max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &ai->migrate_lock | ||
| HALF_LOCKED2 | &ctx->completion_lock | ||
| HALF_LOCKED2 | &ctx->ring_lock | ||
| HALF_LOCKED2 | flags |
mm/page_owner.c __split_page_owner() -> page_ext_iter_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 3103790615975587840 |
| PARAM_VALUE | 0 | iter->index | 0-1 |
| PARAM_VALUE | 0 | iter->page_ext | 4096-ptr_max |
| PARAM_VALUE | 1 | count | 1-s32max,18446744071562067968-u64max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &dst->resize_lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &src->resize_lock | ||
| HALF_LOCKED2 | irq |
mm/page_owner.c __update_page_owner_free_handle() -> page_ext_iter_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 5032113926324658176 |
| PARAM_VALUE | 0 | iter->index | 0-1 |
| PARAM_VALUE | 0 | iter->page_ext | 4096-ptr_max |
| PARAM_VALUE | 0 | iter->start_pfn | 0-12384898975264768,9223396226110586880-u64max |
| PARAM_VALUE | 1 | count | 1-s32max,18446744071562067968-u64max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
mm/page_owner.c __update_page_owner_handle() -> page_ext_iter_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iter | 1127809571128864768 |
| PARAM_VALUE | 0 | iter->index | 0-1 |
| PARAM_VALUE | 0 | iter->page_ext | 4096-ptr_max |
| PARAM_VALUE | 0 | iter->start_pfn | 0-12384898975264768,9223396226110586880-u64max |
| PARAM_VALUE | 1 | count | 1-s32max,18446744071562067968-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |