Defined in 2 files as a function:
- drivers/gpu/drm/i915/gvt/kvmgt.c, line 441 (as a function)
- samples/vfio-mdev/mbochs.c, line 398 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/gpu/drm/i915/gvt/kvmgt.c intel_vgpu_reg_rw_edid() -> handle_edid_regs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdev_state | 4096-ptr_max |
| PARAM_VALUE | 0 | mdev_state->gvt->gt->i915->drm.dev->iommu->fault_param->queue->wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | mdev_state->gvt->gt->i915->drm.dev->iommu->fault_param->queue->wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | mdev_state->gvt->gt->uncore->rpm->kdev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | mdev_state->gvt->irq.irq_map->down_irq_bitmask | 0-4294967295 |
| PARAM_VALUE | 0 | mdev_state->gvt->irq.irq_map->down_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | mdev_state->gvt->irq.irq_map->up_irq_bit | s32min-s32max |
| PARAM_VALUE | 0 | mdev_state->gvt->irq.irq_map->up_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | mdev_state->region | 4096-ptr_max |
| PARAM_VALUE | 0 | *mdev_state->hws_pga | 0-4294967295 |
| PARAM_VALUE | 1 | offset | 4096-ptr_max |
| PARAM_VALUE | 1 | offset->vfio_edid_regs.edid_offset | 1-u32max |
| PARAM_VALUE | 2 | buf | 3409945690100224000,7385378861487415296 |
| PARAM_VALUE | 3 | count | 1-2,4,8 |
| BUF_SIZE | 1 | offset | 32 |
| BUF_SIZE | 2 | buf | (-1),2,4,8 |
| BUF_SIZE | 2 | buf | (-1),2,4,8 |
| CAPPED_DATA | 0 | mdev_state | 1 |
| CAPPED_DATA | 4 | is_write | 1 |
| DATA_SOURCE | 0 | mdev_state | $0 |
| DATA_SOURCE | 2 | buf | $1 |
| DATA_SOURCE | 3 | count | $2 |
| DATA_SOURCE | 5 | is_write | $4 |
| PARAM_COMPARE | 4 | is_write | < $1->vfio_edid_regs.edid_offset |
| HARD_MAX | 3 | count | 8 |
| HOST_DATA | 0 | mdev_state->gvt->gt->uncore->fifo_count | 0-127,u32max |
| USER_DATA | 2 | *buf | 0-255 |
| USER_DATA | 4 | is_write | 0-u16max[c] |
| USER_PTR | 2 | buf |
samples/vfio-mdev/mbochs.c mdev_access() -> handle_edid_regs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdev_state | 4096-ptr_max |
| PARAM_VALUE | 0 | mdev_state->ops_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mdev_state->ops_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mdev_state->ops_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | mdev_state->ops_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | mdev_state->ops_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mdev_state->ops_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | mdev_state->ops_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | offset | 0-2047 |
| PARAM_VALUE | 2 | buf | 6820729393378942976,6846672520771162112 |
| PARAM_VALUE | 3 | count | 1-2,4 |
| BUF_SIZE | 2 | buf | (-1),2,4 |
| BUF_SIZE | 2 | buf | (-1),2,4 |
| CAPPED_DATA | 0 | &mdev_state->ops_lock | 1 |
| DATA_SOURCE | 0 | mdev_state | $0 |
| DATA_SOURCE | 1 | offset | $3 [m] |
| DATA_SOURCE | 2 | buf | $1 |
| DATA_SOURCE | 3 | count | $2 |
| DATA_SOURCE | 4 | is_write | $4 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | offset | 0-2047[c] |
| USER_DATA | 2 | *buf | 0-255 |
| UNITS | 1 | offset | unit_byte |
| UNITS | 3 | count | unit_byte |
| USER_PTR | 2 | buf | |
| LOCK2 | 0 | &mdev_state->ops_lock | |
| TYPE_LOCK | (struct mdev_state)->ops_lock |