Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/i915/gvt/mmio.c intel_vgpu_emulate_mmio_read() -> failsafe_emulate_mmio_rw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vgpu->failsafe | 1 |
| PARAM_VALUE | 0 | vgpu->gvt | 4096-ptr_max |
| PARAM_VALUE | 0 | vgpu->gvt->gt | 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->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 | 2 | p_data | 3409945690100224000,7385378861487415296 |
| PARAM_VALUE | 3 | bytes | 1-2,4,8 |
| PARAM_VALUE | 4 | read | 1 |
| BUF_SIZE | 2 | p_data | (-1),2,4,8 |
| BUF_SIZE | 2 | p_data | (-1),2,4,8 |
| DATA_SOURCE | 0 | vgpu | $0 |
| DATA_SOURCE | 1 | pa | $1 |
| DATA_SOURCE | 2 | p_data | $2 |
| DATA_SOURCE | 3 | bytes | $3 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vgpu->gvt->gt->uncore->fifo_count | 0-127,u32max |
| UNITS | 3 | bytes | unit_byte |
| USER_PTR | 2 | p_data |
drivers/gpu/drm/i915/gvt/mmio.c intel_vgpu_emulate_mmio_write() -> failsafe_emulate_mmio_rw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vgpu->failsafe | 1 |
| PARAM_VALUE | 0 | vgpu->gvt | 4096-ptr_max |
| PARAM_VALUE | 0 | vgpu->gvt->gt | 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->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 | 2 | p_data | 3409945690100224000,7385378861487415296 |
| PARAM_VALUE | 3 | bytes | 1-2,4,8 |
| PARAM_VALUE | 4 | read | 0 |
| BUF_SIZE | 2 | p_data | (-1),2,4,8 |
| BUF_SIZE | 2 | p_data | (-1),2,4,8 |
| DATA_SOURCE | 0 | vgpu | $0 |
| DATA_SOURCE | 1 | pa | $1 |
| DATA_SOURCE | 2 | p_data | $2 |
| DATA_SOURCE | 3 | bytes | $3 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vgpu->gvt->gt->uncore->fifo_count | 0-127,u32max |
| UNITS | 3 | bytes | unit_byte |
| USER_PTR | 2 | p_data |