Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/amdgpu_ring_mux.c amdgpu_mcbp_handle_trailing_fence_irq() -> amdgpu_ring_mux_schedule_resubmit()

Type Parameter Key Value
PARAM_VALUE 0 mux 4096-ptr_max
PARAM_VALUE 0 mux->num_ring_entries 1-u32max
PARAM_VALUE 0 mux->pending_trailing_fence_signaled 1
PARAM_VALUE 0 mux->real_ring 4096-ptr_max
PARAM_VALUE 0 mux->real_ring->trail_fence_cpu_addr 4096-ptr_max
PARAM_VALUE 0 mux->ring_entry 4096-ptr_max
PARAM_VALUE 0 mux->s_resubmit 1
CAPPED_DATA 0 mux->num_ring_entries 1
CAPPED_DATA 0 mux->real_ring->trail_seq 1
CAPPED_DATA 0 *mux->real_ring->trail_fence_cpu_addr 1
DATA_SOURCE 0 mux $0
PARAM_COMPARE 0 *mux->real_ring->trail_fence_cpu_addr == $0->real_ring->trail_seq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/amd/amdgpu/amdgpu_ring_mux.c amdgpu_mux_resubmit_fallback() -> amdgpu_ring_mux_schedule_resubmit()

Type Parameter Key Value
PARAM_VALUE 0 mux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL