Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_gpuvm.c drm_gpuva_remove() -> __drm_gpuva_remove()

Type Parameter Key Value
PARAM_VALUE 0 va 4096-ptr_max
BUF_SIZE 0 va (-1),120
BUF_SIZE 0 va (-1),120
BUF_SIZE 0 va->vm (-1),416
DATA_SOURCE 0 va $0
NOSPEC 0 va->gem.offset
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 va->gem.offset 0-s32max[c]
USER_DATA 0 va->va.addr 0-u64max
HALF_LOCKED2 &sched->mutex
HALF_LOCKED2 &uvmm->mutex
HALF_LOCKED2 &vm->lock
HALF_LOCKED2 &vm->snap_mutex

drivers/gpu/drm/drm_gpuvm.c drm_gpuvm_fini() -> __drm_gpuva_remove()

Type Parameter Key Value
PARAM_VALUE 0 va 4096-ptr_max
PARAM_VALUE 0 va->va.range 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cli->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tlb_inval->seqno_lock