Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/virtio/virtio_pci_admin_legacy_io.c virtio_pci_admin_legacy_common_io_write() -> virtio_pci_admin_legacy_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 | 1 | opcode | 2 |
| PARAM_VALUE | 2 | offset | 0-15,17-23 |
| PARAM_VALUE | 4 | buf | 4096-ptr_max |
| CAPPED_DATA | 2 | offset | 1 |
| CAPPED_DATA | 3 | size | 1 |
| DATA_SOURCE | 0 | pdev | $0 |
| DATA_SOURCE | 2 | offset | $1 |
| DATA_SOURCE | 3 | size | $2 |
| DATA_SOURCE | 4 | buf | $3 |
| USER_DATA | 2 | offset | 1-15,17-23[c] |
| USER_DATA | 3 | size | 0-255[c] |
| LOCK2 | _T->lock |
drivers/virtio/virtio_pci_admin_legacy_io.c virtio_pci_admin_legacy_device_io_write() -> virtio_pci_admin_legacy_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 | 1 | opcode | 4 |
| PARAM_VALUE | 4 | buf | 4096-ptr_max |
| CAPPED_DATA | 2 | offset | 1 |
| CAPPED_DATA | 3 | size | 1 |
| DATA_SOURCE | 0 | pdev | $0 |
| DATA_SOURCE | 2 | offset | $1 |
| DATA_SOURCE | 3 | size | $2 |
| DATA_SOURCE | 4 | buf | $3 |
| USER_DATA | 2 | offset | 0-255[c] |
| USER_DATA | 3 | size | 0-255[c] |
| LOCK2 | _T->lock |