Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/i915/gvt/cfg_space.c emulate_pci_command_write() -> vgpu_pci_cfg_mem_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vgpu->cfg_space.virtual_cfg_space | 4096-ptr_max |
| 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 | 1 | off | 4 |
| PARAM_VALUE | 2 | src | 3409945690100224000 |
| PARAM_VALUE | 3 | bytes | 1-2 |
| BUF_SIZE | 2 | src | (-1),2,4,8 |
| DATA_SOURCE | 0 | vgpu | $0 |
| DATA_SOURCE | 1 | off | $1 |
| DATA_SOURCE | 2 | src | $2 |
| DATA_SOURCE | 3 | bytes | $3 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vgpu->gvt->gt->uncore->fifo_count | 0-127,u32max |
| USER_DATA | 2 | *src | 0-255 |
| UNITS | 1 | off | unit_byte |
| UNITS | 3 | bytes | unit_byte |
| USER_PTR | 2 | src |
drivers/gpu/drm/i915/gvt/cfg_space.c emulate_pci_rom_bar_write() -> vgpu_pci_cfg_mem_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vgpu->cfg_space.virtual_cfg_space | 4096-ptr_max |
| 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 | src | 3409945690100224000 |
| PARAM_VALUE | 3 | bytes | 1-2,4 |
| BUF_SIZE | 2 | src | (-1),2,4,8 |
| DATA_SOURCE | 0 | vgpu | $0 |
| DATA_SOURCE | 1 | off | $1 |
| DATA_SOURCE | 2 | src | $2 |
| DATA_SOURCE | 3 | bytes | $3 |
| FUZZY_MAX | 3 | bytes | 4 |
| BIT_INFO | 1 | off | 0x0,0xfffffffc |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vgpu->gvt->gt->uncore->fifo_count | 0-127,u32max |
| USER_DATA | 1 | off | 0-1000000008[c] |
| USER_DATA | 2 | *src | 0-255 |
| UNITS | 1 | off | unit_byte |
| UNITS | 3 | bytes | unit_byte |
| USER_PTR | 2 | src |
drivers/gpu/drm/i915/gvt/cfg_space.c intel_vgpu_emulate_cfg_write() -> vgpu_pci_cfg_mem_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgpu | 4096-ptr_max |
| 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->hws_pga | 0-4294967295 |
| PARAM_VALUE | 2 | src | 3409945690100224000 |
| PARAM_VALUE | 3 | bytes | 1-2,4 |
| BUF_SIZE | 2 | src | (-1),2,4,8 |
| CAPPED_DATA | 0 | vgpu | 1 |
| DATA_SOURCE | 0 | vgpu | $0 |
| DATA_SOURCE | 1 | off | $1 |
| DATA_SOURCE | 2 | src | $2 |
| DATA_SOURCE | 3 | bytes | $3 |
| FUZZY_MAX | 3 | bytes | 4 |
| BIT_INFO | 1 | off | 0x0,0xfffffffc |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vgpu->gvt->gt->uncore->fifo_count | 0-127,u32max |
| USER_DATA | 1 | off | 0-1000000008[c] |
| USER_DATA | 2 | *src | 0-255 |
| UNITS | 1 | off | unit_byte |
| UNITS | 3 | bytes | unit_byte |
| USER_PTR | 2 | src |
drivers/gpu/drm/i915/gvt/cfg_space.c intel_vgpu_emulate_cfg_write() -> vgpu_pci_cfg_mem_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgpu | 4096-ptr_max |
| 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->hws_pga | 0-4294967295 |
| PARAM_VALUE | 2 | src | 3409945690100224000 |
| PARAM_VALUE | 3 | bytes | 1-2,4 |
| BUF_SIZE | 2 | src | (-1),2,4,8 |
| CAPPED_DATA | 0 | vgpu | 1 |
| DATA_SOURCE | 0 | vgpu | $0 |
| DATA_SOURCE | 1 | off | $1 |
| DATA_SOURCE | 2 | src | $2 |
| DATA_SOURCE | 3 | bytes | $3 |
| FUZZY_MAX | 3 | bytes | 4 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vgpu->gvt->gt->uncore->fifo_count | 0-127,u32max |
| USER_DATA | 1 | off | 0-1000000008[c] |
| USER_DATA | 2 | *src | 0-255 |
| UNITS | 1 | off | unit_byte |
| UNITS | 3 | bytes | unit_byte |
| USER_PTR | 2 | src |