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_map_choose()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmm | 4096-ptr_max |
| PARAM_VALUE | 0 | vmm->debug | 0 |
| PARAM_VALUE | 1 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->page | 7 |
| PARAM_VALUE | 1 | vma->refd | 7 |
| PARAM_VALUE | 4 | map | 499272370021552128,6611518720680595456,6822087884951326720,7958770955683782656,8654279604838731776 |
| PARAM_VALUE | 4 | map->ctag | 0 |
| PARAM_VALUE | 4 | map->memory | 4096-ptr_max |
| PARAM_VALUE | 4 | map->next | 0 |
| PARAM_VALUE | 4 | map->off | 0 |
| PARAM_VALUE | 4 | map->page | 0 |
| PARAM_VALUE | 4 | map->pfn | 0 |
| PARAM_VALUE | 4 | map->tags | 0 |
| PARAM_VALUE | 4 | map->type | 0 |
| BUF_SIZE | 1 | vma | (-1)-0,40-s32max |
| BUF_SIZE | 1 | vma | (-1)-0,40-s32max |
| BUF_SIZE | 2 | argv | (-1)-s32max |
| BUF_SIZE | 2 | argv | (-1)-s32max |
| CAPPED_DATA | 0 | vmm->managed.p.addr | 1 |
| DATA_SOURCE | 0 | vmm | $0 |
| DATA_SOURCE | 1 | vma | $1 |
| DATA_SOURCE | 2 | argv | $2 |
| DATA_SOURCE | 3 | argc | $3 |
| 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 | |
| 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_map_locked() -> nvkm_vmm_map_choose()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmm | 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 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->page | 7 |
| PARAM_VALUE | 1 | vma->refd | 7 |
| PARAM_VALUE | 4 | map | 499272370021552128,6611518720680595456,6822087884951326720,7958770955683782656,8654279604838731776 |
| PARAM_VALUE | 4 | map->ctag | 0 |
| PARAM_VALUE | 4 | map->memory | 4096-ptr_max |
| PARAM_VALUE | 4 | map->next | 0 |
| PARAM_VALUE | 4 | map->off | 0 |
| PARAM_VALUE | 4 | map->page | 4096-ptr_max |
| PARAM_VALUE | 4 | map->page->desc | 0,4096-ptr_max |
| PARAM_VALUE | 4 | map->page->shift | 0 |
| PARAM_VALUE | 4 | map->page->type | 0-7,10-13 |
| PARAM_VALUE | 4 | map->pfn | 0 |
| PARAM_VALUE | 4 | map->tags | 0 |
| PARAM_VALUE | 4 | map->type | 0 |
| BUF_SIZE | 1 | vma | (-1)-0,40-s32max |
| BUF_SIZE | 1 | vma | (-1)-0,40-s32max |
| BUF_SIZE | 2 | argv | (-1)-s32max |
| BUF_SIZE | 2 | argv | (-1)-s32max |
| CAPPED_DATA | 0 | vmm->managed.p.addr | 1 |
| DATA_SOURCE | 0 | vmm | $0 |
| DATA_SOURCE | 1 | vma | $1 |
| DATA_SOURCE | 2 | argv | $2 |
| DATA_SOURCE | 3 | argc | $3 |
| DATA_SOURCE | 4 | map | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | vmm->managed.n.addr | |
| NO_OVERFLOW_SIMPLE | 0 | vmm->managed.n.size | |
| NO_OVERFLOW_SIMPLE | 0 | vmm->managed.p.size | |
| HALF_LOCKED2 | &cgrp->mutex | ||
| HALF_LOCKED2 | &gr->fecs.mutex | ||
| HALF_LOCKED2 | &imem->mutex | ||
| HALF_LOCKED2 | &subdev->use.mutex | ||
| HALF_LOCKED2 | 0 | &vmm->mutex.vmm |