Documented in 1 files:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/amdgpu_sync.c amdgpu_sync_keep_later() -> dma_fence_is_later()

Type Parameter Key Value
PARAM_VALUE 0 f1 4096-ptr_max
PARAM_VALUE 1 f2 4096-ptr_max
CAPPED_DATA 1 f2->context 1
DATA_SOURCE 1 f2 $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &adev->enforce_isolation_mutex
HALF_LOCKED2 &id_mgr->lock
HALF_LOCKED2 &mem->lock
HALF_LOCKED2 &p->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &process_info->lock

drivers/gpu/drm/virtio/virtgpu_fence.c virtio_gpu_fence_event_process() -> dma_fence_is_later()

Type Parameter Key Value
PARAM_VALUE 0 f1 4096-ptr_max
PARAM_VALUE 1 f2 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 &drv->lock
LOCK2 irq_flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct virtio_gpu_fence_driver)->lock

drivers/dma-buf/dma-resv.c dma_fence_is_later_or_same() -> dma_fence_is_later()

Type Parameter Key Value
PARAM_VALUE 0 f1 4096-ptr_max
PARAM_VALUE 1 f2 4096-ptr_max
BUF_SIZE 0 f1 (-1)-0,32-s32max
BUF_SIZE 0 f1 (-1)-0,32-s32max
CAPPED_DATA 0 f1->context 1
CAPPED_DATA 1 f2->context 1
DATA_SOURCE 0 f1 $0
DATA_SOURCE 1 f2 $1
PARAM_COMPARE 0 f1 != $1
PARAM_COMPARE 0 f1 != $1
PARAM_COMPARE 1 f2 != $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 f1->seqno 0-u64max
HALF_LOCKED2 &(*mem)->process_info->lock
HALF_LOCKED2 &bo->base._resv
HALF_LOCKED2 &client->hwctx_srcu
HALF_LOCKED2 &epfile->ffs->eps_lock
HALF_LOCKED2 &hwctx->priv->io_lock
HALF_LOCKED2 &hwctx->priv->job_sem
HALF_LOCKED2 &man->eviction_lock
HALF_LOCKED2 &p->adev->notifier_lock
HALF_LOCKED2 &p->mutex
HALF_LOCKED2 &process_info->lock
HALF_LOCKED2 &queue->lock
HALF_LOCKED2 &rdev->exclusive_lock
HALF_LOCKED2 &resv
HALF_LOCKED2 &vc4->job_lock
HALF_LOCKED2 &vgdev->ctrlq.qlock
HALF_LOCKED2 &vm->eviction_lock
HALF_LOCKED2 &vm->lock
HALF_LOCKED2 &xdna->notifier_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 dst->base.resv
HALF_LOCKED2 global &drm_unplug_srcu
HALF_LOCKED2 irq
HALF_LOCKED2 irqflags
HALF_LOCKED2 obj
HALF_LOCKED2 src->base.resv

drivers/gpu/drm/ttm/ttm_bo_util.c ttm_bo_move_pipeline_evict() -> dma_fence_is_later()

Type Parameter Key Value
PARAM_VALUE 0 f1 4096-ptr_max
PARAM_VALUE 1 f2 4096-ptr_max
BUF_SIZE 0 f1 (-1)-0,128
BUF_SIZE 0 f1 (-1)-0,128
CAPPED_DATA 0 f1 1
CAPPED_DATA 0 f1->context 1
CAPPED_DATA 1 f2->context 1
DATA_SOURCE 0 f1 $1
PARAM_COMPARE 0 f1->context == $1->context
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 f1->seqno 0
LOCK2 &from->eviction_lock
HALF_LOCKED2 bo->base.resv
TYPE_LOCK (struct ttm_resource_manager)->eviction_lock

drivers/gpu/drm/scheduler/sched_main.c drm_sched_job_add_dependency() -> dma_fence_is_later()

Type Parameter Key Value
PARAM_VALUE 0 f1 4096-ptr_max
PARAM_VALUE 1 f2 4096-ptr_max
BUF_SIZE 0 f1 (-1),128
BUF_SIZE 0 f1 (-1),128
CAPPED_DATA 0 f1->context 1
CAPPED_DATA 1 f2->context 1
DATA_SOURCE 0 f1 $1
PARAM_COMPARE 1 f2->context == $0->context
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &queue->lock
HALF_LOCKED2 &v3d->sched_lock
HALF_LOCKED2 global &drm_unplug_srcu

drivers/dma-buf/dma-fence-unwrap.c fence_cmp() -> dma_fence_is_later()

Type Parameter Key Value
PARAM_VALUE 0 f1 4096-ptr_max
PARAM_VALUE 1 f2 4096-ptr_max
CAPPED_DATA 0 f1->context 1
CAPPED_DATA 1 f2->context 1
PARAM_COMPARE 1 f2->context == $0->context
RX_PATH
TASK_NOT_RUNNING

drivers/dma-buf/dma-fence-unwrap.c fence_cmp() -> dma_fence_is_later()

Type Parameter Key Value
PARAM_VALUE 0 f1 4096-ptr_max
PARAM_VALUE 1 f2 4096-ptr_max
CAPPED_DATA 0 f1->context 1
CAPPED_DATA 1 f2->context 1
PARAM_COMPARE 0 f1->context == $1->context
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/i915/i915_deps.c i915_deps_add_dependency() -> dma_fence_is_later()

Type Parameter Key Value
PARAM_VALUE 0 f1 4096-ptr_max
PARAM_VALUE 0 f1->context 1-u64max
PARAM_VALUE 1 f2 4096-ptr_max
PARAM_VALUE 1 f2->context 1-u64max
CAPPED_DATA 0 f1->context 1
CAPPED_DATA 1 f2->context 1
DATA_SOURCE 0 f1 $1
PARAM_COMPARE 1 f2->context == $0->context
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 dst->base.resv
HALF_LOCKED2 src->base.resv