Defined in 3 files as a function:
- samples/vfio-mdev/mbochs.c, line 303 (as a function)
- samples/vfio-mdev/mdpy.c, line 148 (as a function)
- samples/vfio-mdev/mtty.c, line 313 (as a function)
Referenced in 3 files:
- samples/vfio-mdev/mbochs.c, line 448
- samples/vfio-mdev/mdpy.c, line 182
- samples/vfio-mdev/mtty.c, line 733
Smatch caller information:
samples/vfio-mdev/mdpy.c mdev_access() -> handle_pci_cfg_write()
| 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-254 |
| PARAM_VALUE | 2 | buf | 8687519851010572288 |
| 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 |
| DATA_SOURCE | 2 | buf | $1 |
| DATA_SOURCE | 3 | count | $2 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | offset | 0-254 |
| USER_DATA | 2 | *buf | 0-255 |
| UNITS | 3 | count | unit_byte |
| USER_PTR | 2 | buf | |
| LOCK2 | 0 | &mdev_state->ops_lock | |
| TYPE_LOCK | (struct mdev_state)->ops_lock |
samples/vfio-mdev/mbochs.c mdev_access() -> handle_pci_cfg_write()
| 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-254 |
| PARAM_VALUE | 2 | buf | 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 |
| DATA_SOURCE | 2 | buf | $1 |
| DATA_SOURCE | 3 | count | $2 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | offset | 0-254[c] |
| USER_DATA | 2 | *buf | 0-255 |
| UNITS | 3 | count | unit_byte |
| USER_PTR | 2 | buf | |
| LOCK2 | 0 | &mdev_state->ops_lock | |
| TYPE_LOCK | (struct mdev_state)->ops_lock |
samples/vfio-mdev/mtty.c mdev_access() -> handle_pci_cfg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdev_state | 4096-ptr_max |
| PARAM_VALUE | 0 | mdev_state->nr_ports | 1-2 |
| 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 | 2 | buf | 5278167695008546816 |
| 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 | 2 | buf | $1 |
| DATA_SOURCE | 3 | count | $2 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | offset | 0-u16max[c] |
| USER_DATA | 2 | *buf | 0-255 |
| UNITS | 3 | count | unit_byte |
| USER_PTR | 2 | buf | |
| LOCK2 | 0 | &mdev_state->ops_lock | |
| TYPE_LOCK | (struct mdev_state)->ops_lock |