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_ref_hwpt() -> nvkm_vmm_sparse_ptes()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->type 0-3
PARAM_VALUE 1 pgt 4096-ptr_max
PARAM_VALUE 2 ptei 0
FUZZY_MAX 0 desc->type 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vmm->mutex.ref
HALF_LOCKED2 &vmm->mutex.vmm

drivers/gpu/drm/nouveau/nvkm/subdev/mmu/vmm.c nvkm_vmm_sparse_ref_ptes() -> nvkm_vmm_sparse_ptes()

Type Parameter Key Value
PARAM_VALUE 0 desc 0,4096-ptr_max
CAPPED_DATA 3 ptes 1
DATA_SOURCE 2 ptei $2
DATA_SOURCE 3 ptes $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &subdev->use.mutex
HALF_LOCKED2 &vmm->mutex.map
HALF_LOCKED2 &vmm->mutex.ref