Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/msm/msm_gem_vma.c msm_gem_vm_close() -> msm_gem_vma_unmap()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->gem.obj 0,4096-ptr_max
PARAM_VALUE 1 reason 6224324065633787904
BUF_SIZE 1 reason 6
CAPPED_DATA 0 &vma->rb.entry 1
STR_LEN 0 vma 5
TERMINATED 1 reason 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 gpuvm->r_obj->resv
HALF_LOCKED2 obj->resv

drivers/gpu/drm/msm/msm_gem.c clear_iova() -> msm_gem_vma_unmap()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm 4096-ptr_max
PARAM_VALUE 1 reason 0
BUF_SIZE 0 vma->vm (-1),416
CAPPED_DATA 0 vma->vm 1
DATA_SOURCE 0 vma r lookup_vma
NOCHECK_CALL

drivers/gpu/drm/msm/msm_gem.c put_iova_spaces() -> msm_gem_vma_unmap()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 reason 657373321494892544,2502021024347869184,4485631568667365376,6224324065633787904,7684155406075600896
BUF_SIZE 1 reason 5-6,8
BUF_SIZE 1 reason 5-6,8
CAPPED_DATA 0 &vma->gem.entry 1
DATA_SOURCE 1 reason $3
TERMINATED 1 reason 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL