Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/i915/gvt/kvmgt.c handle_edid_regs() -> intel_vgpu_emulate_hotplug()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vgpu->gvt->gt->i915->drm.dev->iommu->fault_param->queue->wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | vgpu->gvt->gt->i915->drm.dev->iommu->fault_param->queue->wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | vgpu->gvt->gt->uncore->rpm->kdev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | vgpu->gvt->irq.irq_map->down_irq_bitmask | 0-4294967295 |
| PARAM_VALUE | 0 | vgpu->gvt->irq.irq_map->down_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | vgpu->gvt->irq.irq_map->up_irq_bit | s32min-s32max |
| PARAM_VALUE | 0 | vgpu->gvt->irq.irq_map->up_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | vgpu->region | 4096-ptr_max |
| PARAM_VALUE | 0 | vgpu->vfio_device.kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | vgpu->vfio_device.kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | *vgpu->hws_pga | 0-4294967295 |
| PARAM_VALUE | 1 | connected | 1 |
| DATA_SOURCE | 0 | vgpu | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vgpu->gvt->gt->uncore->fifo_count | 0-127,u32max |
drivers/gpu/drm/i915/gvt/kvmgt.c handle_edid_regs() -> intel_vgpu_emulate_hotplug()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vgpu->gvt->gt->i915->drm.dev->iommu->fault_param->queue->wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | vgpu->gvt->gt->i915->drm.dev->iommu->fault_param->queue->wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | vgpu->gvt->gt->uncore->rpm->kdev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | vgpu->gvt->irq.irq_map->down_irq_bitmask | 0-4294967295 |
| PARAM_VALUE | 0 | vgpu->gvt->irq.irq_map->down_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | vgpu->gvt->irq.irq_map->up_irq_bit | s32min-s32max |
| PARAM_VALUE | 0 | vgpu->gvt->irq.irq_map->up_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | vgpu->region | 4096-ptr_max |
| PARAM_VALUE | 0 | vgpu->vfio_device.kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | vgpu->vfio_device.kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | *vgpu->hws_pga | 0-4294967295 |
| PARAM_VALUE | 1 | connected | 0 |
| DATA_SOURCE | 0 | vgpu | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vgpu->gvt->gt->uncore->fifo_count | 0-127,u32max |