Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/vfio/pci/vfio_pci_core.c vfio_pci_ioctl_get_pci_hot_reset_info() -> vfio_device_cdev_opened()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
drivers/vfio/pci/vfio_pci_core.c vfio_pci_ioctl_pci_hot_reset() -> vfio_device_cdev_opened()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |