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() -> nvkm_vmm_map_locked()

Type Parameter Key Value
PARAM_VALUE 0 vmm 4096-ptr_max
PARAM_VALUE 0 vmm->managed.raw 1
PARAM_VALUE 1 vma 4096-ptr_max
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->no_comp 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

drivers/gpu/drm/nouveau/nvkm/subdev/mmu/vmm.c nvkm_vmm_map() -> nvkm_vmm_map_locked()

Type Parameter Key Value
PARAM_VALUE 0 vmm 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 1 vma 4096-ptr_max
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->no_comp 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
CAPPED_DATA 0 &vmm->mutex.vmm 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
LOCK2 0 &vmm->mutex.vmm
HALF_LOCKED2 &cgrp->mutex
HALF_LOCKED2 &gr->fecs.mutex
HALF_LOCKED2 &imem->mutex
HALF_LOCKED2 &subdev->use.mutex
TYPE_LOCK (struct nvkm_vmm)->mutex.vmm