Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/vfio/pci/virtio/legacy_io.c virtiovf_issue_legacy_rw_cmd() -> virtio_pci_admin_legacy_device_io_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | pdev->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | pdev->dev.type | 0,4096-ptr_max |
| PARAM_VALUE | 3 | buf | 4096-ptr_max |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 2 | size | 1 |
| DATA_SOURCE | 2 | size | $3 |
| USER_DATA | 1 | offset | 0-255[c] |
| USER_DATA | 2 | size | 0-255[c] |
| LOCK2 | _T->lock |