Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/gvt/cmd_parser.c intel_gvt_scan_and_shadow_ringbuffer() -> shadow_workload_ring_buffer()

Type Parameter Key Value
PARAM_VALUE 0 workload 4096-ptr_max
PARAM_VALUE 0 workload->engine 4096-ptr_max
PARAM_VALUE 0 workload->shadow 0
PARAM_VALUE 0 workload->shadow_mm->ppgtt_mm.lru_list.next 4096-ptr_max
PARAM_VALUE 0 workload->shadow_mm->ppgtt_mm.root_entry_type 11-12
PARAM_VALUE 0 workload->shadow_mm->vgpu->vfio_device.kvm->vm_bugged 0-1
PARAM_VALUE 0 workload->shadow_mm->vgpu->vfio_device.kvm->vm_dead 0-1
PARAM_VALUE 0 workload->vgpu 4096-ptr_max
PARAM_VALUE 0 workload->vgpu->gvt->gt->i915->drm.dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 workload->vgpu->vfio_device.kvm->vm_bugged 0-1
PARAM_VALUE 0 workload->vgpu->vfio_device.kvm->vm_dead 0-1
PARAM_VALUE 0 *workload->flex_mmio 0-4294967295
DATA_SOURCE 0 workload $0
NOSPEC 0 workload->rb_start
NOSPEC 0 workload->wa_ctx.indirect_ctx.guest_gma
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 workload->ring_context_gpa 0-70368744177663[c]
USER_DATA 0 workload->guest_rb_head 0-u32max
USER_DATA 0 workload->rb_ctl 0-u32max
USER_DATA 0 workload->rb_head 0,4-2097148[c]
USER_DATA 0 workload->rb_start 0-u32max[c]
USER_DATA 0 workload->rb_tail 0,8-2097144[c]
USER_DATA 0 workload->ring_context_gpa 0-18446744073709551614[c]
USER_DATA 0 workload->vgpu->display.i2c_edid.current_edid_read 0-255[c]
USER_DATA 0 workload->vgpu->display.i2c_edid.gmbus.cycle_type 0-7[c]
USER_DATA 0 workload->vgpu->display.i2c_edid.gmbus.total_byte_count 0-511[c]
USER_DATA 0 workload->wa_ctx.indirect_ctx.guest_gma 0,64-u32max[c]
USER_DATA 0 workload->wa_ctx.indirect_ctx.size 0-4032[c]
USER_DATA 0 workload->wa_ctx.per_ctx.guest_gma 0,4096-u32max[c]
USER_DATA 0 workload->wa_ctx.per_ctx.valid 0-1[c]
HALF_LOCKED2 &vgpu->vgpu_lock