Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 7 files:
- arch/arm64/mm/mmu.c, line 2048
- arch/loongarch/mm/init.c, line 128
- arch/powerpc/mm/mem.c, line 167
- arch/riscv/mm/init.c, line 1745
- arch/s390/mm/init.c, line 302
- arch/x86/mm/init_64.c, line 1281
- mm/memremap.c, line 99
Smatch caller information:
arch/x86/mm/init_64.c arch_remove_memory() -> __remove_pages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pfn | 0-4503599627370495 |
| PARAM_VALUE | 1 | nr_pages | 0-4503599627370495 |
| PARAM_VALUE | 3 | pgmap | 0,4096-ptr_max |
| PARAM_VALUE | 3 | pgmap->done.done | 0-4294967293,u32max |
| PARAM_VALUE | 3 | pgmap->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | pgmap->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 3 | pgmap->done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 3 | pgmap->done.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 3 | pgmap->done.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 3 | pgmap->nr_range | 1-s32max |
| PARAM_VALUE | 3 | pgmap->ops->folio_free | 0,1125799360645222400,2314884282337259520,3487804881100709888,4287620441410408448,4432558333617348608 |
| PARAM_VALUE | 3 | pgmap->ops->migrate_to_ram | 0,892366893655998464,2045318714023669760,8762592014959497216,9113542883503599616 |
| PARAM_VALUE | 3 | pgmap->ranges | 4096-ptr_max |
| PARAM_VALUE | 3 | pgmap->ref.data | 0,4096-ptr_max |
| PARAM_VALUE | 3 | pgmap->ref.data->rcu.func | 1-u64max |
| PARAM_VALUE | 3 | pgmap->ref.data->rcu.next | 0 |
| PARAM_VALUE | 3 | pgmap->type | 0,2-u32max |
| BUF_SIZE | 2 | altmap | (-1)-0,48 |
| BUF_SIZE | 2 | altmap | (-1)-0,48 |
| BUF_SIZE | 3 | pgmap->ops | (-1),32 |
| BUF_SIZE | 3 | pgmap->owner | (-1),64,472 |
| DATA_SOURCE | 2 | altmap | $2 |
| DATA_SOURCE | 3 | pgmap | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | pfn | unit_page |
| UNITS | 1 | nr_pages | unit_page |
mm/memremap.c pageunmap_range() -> __remove_pages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pfn | 0-4503599627370495 |
| PARAM_VALUE | 1 | nr_pages | 0-4503599627370495 |
| PARAM_VALUE | 2 | altmap | 0 |
| PARAM_VALUE | 3 | pgmap | 4096-ptr_max |
| PARAM_VALUE | 3 | pgmap->done.done | 0-4294967293,u32max |
| PARAM_VALUE | 3 | pgmap->done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | pgmap->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 3 | pgmap->done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 3 | pgmap->done.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 3 | pgmap->done.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 3 | pgmap->nr_range | 1-s32max |
| PARAM_VALUE | 3 | pgmap->ops->folio_free | 0,1125799360645222400,2314884282337259520,3487804881100709888,4287620441410408448,4432558333617348608 |
| PARAM_VALUE | 3 | pgmap->ops->migrate_to_ram | 0,892366893655998464,2045318714023669760,8762592014959497216,9113542883503599616 |
| PARAM_VALUE | 3 | pgmap->ranges | 4096-ptr_max |
| PARAM_VALUE | 3 | pgmap->ref.data | 0,4096-ptr_max |
| PARAM_VALUE | 3 | pgmap->ref.data->rcu.func | 1-u64max |
| PARAM_VALUE | 3 | pgmap->ref.data->rcu.next | 0 |
| PARAM_VALUE | 3 | pgmap->type | 1 |
| BUF_SIZE | 3 | pgmap->ops | (-1),32 |
| BUF_SIZE | 3 | pgmap->owner | (-1),64,472 |
| DATA_SOURCE | 3 | pgmap | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &drm->dmem->mutex | ||
| HALF_LOCKED2 | &mdevice->devmem_lock |