Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/nouveau/nvkm/subdev/mmu/vmm.c nvkm_vmm_map_locked() -> nvkm_vmm_ptes_get_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmm | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->func->page | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->func->page->shift | 0,12,16-17,21,27,29,38,47,56 |
| PARAM_VALUE | 0 | vmm->func->page->type | 0-7,10-13 |
| PARAM_VALUE | 1 | page | 4096-ptr_max |
| PARAM_VALUE | 1 | page->desc | 4096-ptr_max |
| PARAM_VALUE | 1 | page->desc->func | 4096-ptr_max |
| PARAM_VALUE | 1 | page->desc->func->mem | 0,342785426107404288,807011633955139584,3486218014952673280,3514038606278410240,5159074669950525440,6663664041625575424 |
| PARAM_VALUE | 1 | page->shift | 0,12,16-17,21,27,29,38,47,56 |
| PARAM_VALUE | 1 | page->type | 2-7,10-13 |
| PARAM_VALUE | 4 | map | 499272370021552128,6611518720680595456,6822087884951326720,7958770955683782656,8654279604838731776 |
| PARAM_VALUE | 4 | map->ctag | 0 |
| PARAM_VALUE | 4 | map->dma | 4096-ptr_max |
| PARAM_VALUE | 4 | map->memory | 4096-ptr_max |
| PARAM_VALUE | 4 | map->next | 0 |
| PARAM_VALUE | 4 | map->page | 4096-ptr_max |
| PARAM_VALUE | 4 | map->page->desc | 4096-ptr_max |
| PARAM_VALUE | 4 | map->page->desc->func | 4096-ptr_max |
| PARAM_VALUE | 4 | map->page->desc->func->mem | 0,342785426107404288,807011633955139584,3486218014952673280,3514038606278410240,5159074669950525440,6663664041625575424 |
| PARAM_VALUE | 4 | map->page->shift | 0,12,16-17,21,27,29,38,47,56 |
| PARAM_VALUE | 4 | map->page->type | 2-7,10-13 |
| PARAM_VALUE | 4 | map->pfn | 0 |
| PARAM_VALUE | 4 | map->tags | 0 |
| PARAM_VALUE | 4 | map->type | 0 |
| PARAM_VALUE | 5 | func | 0,4096-ptr_max |
| CAPPED_DATA | 0 | vmm->managed.p.addr | 1 |
| CAPPED_DATA | 4 | map->off | 1 |
| DATA_SOURCE | 0 | vmm | $0 |
| DATA_SOURCE | 4 | map | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vmm->managed.n.addr | |
| NO_OVERFLOW_SIMPLE | 0 | vmm->managed.n.size | |
| NO_OVERFLOW_SIMPLE | 0 | vmm->managed.p.size | |
| UNITS | 2 | addr | unit_byte |
| UNITS | 3 | size | unit_byte |
| HALF_LOCKED2 | &cgrp->mutex | ||
| HALF_LOCKED2 | &gr->fecs.mutex | ||
| HALF_LOCKED2 | &imem->mutex | ||
| HALF_LOCKED2 | &subdev->use.mutex | ||
| HALF_LOCKED2 | 0 | &vmm->mutex.vmm |
drivers/gpu/drm/nouveau/nvkm/subdev/mmu/vmm.c nvkm_vmm_pfn_map() -> nvkm_vmm_ptes_get_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmm | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->func | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->func->page->shift | 0,12,16-17,21,27,29,38,47,56 |
| PARAM_VALUE | 0 | vmm->limit | 1-u64max |
| PARAM_VALUE | 0 | vmm->mmu->user.ctor | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vmm->mutex.vmm.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vmm->mutex.vmm.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vmm->mutex.vmm.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vmm->mutex.vmm.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vmm->mutex.vmm.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vmm->mutex.vmm.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vmm->mutex.vmm.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vmm->root.rb_node | 1-u64max |
| PARAM_VALUE | 1 | page | 4096-ptr_max |
| PARAM_VALUE | 1 | page->desc | 4096-ptr_max |
| PARAM_VALUE | 1 | page->desc->align | 0,256,4096,524288 |
| PARAM_VALUE | 1 | page->desc->bits | 0-2,5,8-11,13-15,17 |
| PARAM_VALUE | 1 | page->desc->func | 4096-ptr_max |
| PARAM_VALUE | 1 | page->desc->func->pfn | 0,7061089970547830784,7063215805290086400 |
| PARAM_VALUE | 1 | page->desc->size | 0,4,8,16 |
| PARAM_VALUE | 1 | page->desc->type | 0-3 |
| PARAM_VALUE | 1 | page->shift | 12,16-17,21,27,29,38,47,56 |
| PARAM_VALUE | 4 | map | 4700369263879925760 |
| PARAM_VALUE | 4 | map->page | 4096-ptr_max |
| PARAM_VALUE | 4 | map->pfn | 4096-ptr_max |
| PARAM_VALUE | 5 | func | 0,7061089970547830784,7063215805290086400 |
| CAPPED_DATA | 0 | vmm->managed.p.addr | 1 |
| CAPPED_DATA | 3 | size | 1 |
| CAPPED_DATA | 3 | size | 1 |
| DATA_SOURCE | 0 | vmm | $0 |
| CONTAINER | 5 | -56-16-8+0 | $1 |
| PARAM_COMPARE | 2 | addr | <= $0->limit |
| PARAM_COMPARE | 2 | addr | <= $0->limit |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | addr | unit_byte |
| UNITS | 3 | size | unit_byte |
| LOCK2 | 0 | &vmm->mutex.vmm | |
| TYPE_LOCK | (struct nvkm_vmm)->mutex.vmm |