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/migrate.c virtiovf_pci_alloc_obj_id() -> virtio_pci_admin_obj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | obj_type | 0 |
| PARAM_VALUE | 2 | operation_type | 0-1 |
| PARAM_VALUE | 3 | obj_id | 2108504204132823040,3844472541049184256,9123864442558676992 |
| DATA_SOURCE | 2 | operation_type | $1 |
| DATA_SOURCE | 3 | obj_id | $2 |
| HARD_MAX | 2 | operation_type | 1 |
| LOCK2 | &virtvdev->state_mutex | ||
| TYPE_LOCK | (struct virtiovf_pci_core_device)->state_mutex |