Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/vfio/pci/nvgrace-gpu/main.c, line 368
- drivers/vfio/pci/vfio_pci_config.c
- drivers/vfio/pci/vfio_pci_core.c
- drivers/vfio/pci/vfio_pci_dmabuf.c, line 310
- drivers/vfio/pci/vfio_pci_rdwr.c
Smatch caller information:
drivers/vfio/pci/vfio_pci_core.c vfio_pci_dev_set_hot_reset() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| CAPPED_DATA | 0 | &vdev->vdev.dev_set_list | 1 |
| HOST_DATA | 0 | vdev->pdev->class | 0-16777215 |
| HOST_DATA | 0 | vdev->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | vdev->pdev->devcap | 0-u32max |
| HOST_DATA | 0 | vdev->pdev->devfn | 0-503[c] |
| HOST_DATA | 0 | vdev->pdev->device | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | vdev->pdev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | vdev->pdev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | vdev->pdev->irq | 0-255 |
| HOST_DATA | 0 | vdev->pdev->is_cxl | 0-1 |
| HOST_DATA | 0 | vdev->pdev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | vdev->pdev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | vdev->pdev->pin | 0 |
| HOST_DATA | 0 | vdev->pdev->pme_support | 0-31[c] |
| HOST_DATA | 0 | vdev->pdev->revision | 0-255 |
| HOST_DATA | 0 | vdev->pdev->sriov->offset | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->sriov->stride | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | vdev->pdev->transparent | 0[c] |
| LOCK2 | &dev_set->lock | ||
| HALF_LOCKED2 | 0 | &vdev->memory_lock | |
| TYPE_LOCK | (struct vfio_device_set)->lock |
drivers/vfio/pci/vfio_pci_core.c vfio_pci_ioctl_reset() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->pdev | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| HOST_DATA | 0 | vdev->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | vdev->pdev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->sriov->offset | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->sriov->stride | 0-u16max |
| LOCK2 | 0 | &vdev->memory_lock | |
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/vfio_pci_core.c vfio_pci_runtime_pm_exit() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| BUF_SIZE | 0 | vdev | (-1),3208 |
| BUF_SIZE | 0 | vdev | (-1),3208 |
| CAPPED_DATA | 0 | &vdev->memory_lock | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | vdev->msix_bar | 0 |
| HOST_DATA | 0 | vdev->msix_offset | 0 |
| HOST_DATA | 0 | vdev->pdev->current_state | 0-3[c] |
| LOCK2 | 0 | &vdev->memory_lock | |
| HALF_LOCKED2 | &device->dev_set->lock | ||
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/vfio_pci_core.c vfio_pci_vmf_insert_pfn() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| BUF_SIZE | 0 | vdev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vdev | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | vdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | vdev | unit_byte |
| LOCK2 | _T->lock |
drivers/vfio/pci/vfio_pci_dmabuf.c vfio_pci_core_feature_dma_buf() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| CAPPED_DATA | 0 | vdev->pdev->p2pdma | 1 |
| CAPPED_DATA | 0 | &vdev->memory_lock | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| LOCK2 | priv->dmabuf->resv | ||
| LOCK2 | 0 | &vdev->memory_lock | |
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/vfio_pci_rdwr.c vfio_pci_core_ioread16() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->pdev | 4096-ptr_max |
| BUF_SIZE | 0 | vdev | (-1),3208 |
| BUF_SIZE | 0 | vdev | (-1),3208 |
| CAPPED_DATA | 0 | vdev->pdev | 1 |
| CAPPED_DATA | 0 | &vdev->memory_lock | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| LOCK2 | 0 | &vdev->memory_lock | |
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/vfio_pci_rdwr.c vfio_pci_core_ioread32() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->pdev | 4096-ptr_max |
| CAPPED_DATA | 0 | vdev->pdev | 1 |
| CAPPED_DATA | 0 | &vdev->memory_lock | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| LOCK2 | 0 | &vdev->memory_lock | |
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/vfio_pci_rdwr.c vfio_pci_core_ioread64() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->pdev | 4096-ptr_max |
| CAPPED_DATA | 0 | vdev->pdev | 1 |
| CAPPED_DATA | 0 | &vdev->memory_lock | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| LOCK2 | 0 | &vdev->memory_lock | |
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/vfio_pci_rdwr.c vfio_pci_core_ioread8() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->pdev | 4096-ptr_max |
| CAPPED_DATA | 0 | vdev->pdev | 1 |
| CAPPED_DATA | 0 | &vdev->memory_lock | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| LOCK2 | 0 | &vdev->memory_lock | |
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/vfio_pci_rdwr.c vfio_pci_core_iowrite16() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| BUF_SIZE | 0 | vdev | (-1),3208 |
| BUF_SIZE | 0 | vdev | (-1),3208 |
| CAPPED_DATA | 0 | &vdev->memory_lock | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &vdev->memory_lock | |
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/vfio_pci_rdwr.c vfio_pci_core_iowrite32() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| CAPPED_DATA | 0 | &vdev->memory_lock | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &vdev->memory_lock | |
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/vfio_pci_rdwr.c vfio_pci_core_iowrite64() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| CAPPED_DATA | 0 | &vdev->memory_lock | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &vdev->memory_lock | |
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/vfio_pci_rdwr.c vfio_pci_core_iowrite8() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| CAPPED_DATA | 0 | &vdev->memory_lock | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &vdev->memory_lock | |
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/vfio_pci_rdwr.c vfio_pci_ioeventfd_handler() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| CAPPED_DATA | 0 | &vdev->memory_lock | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &vdev->memory_lock | |
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/nvgrace-gpu/main.c nvgrace_gpu_check_device_ready() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| BUF_SIZE | 0 | vdev | 3208 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock |
drivers/vfio/pci/vfio_pci_config.c vfio_af_config_write() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->pdev | 4096-ptr_max |
| CAPPED_DATA | 0 | vdev->pdev | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| HOST_DATA | 0 | vdev->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | vdev->pdev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->sriov->offset | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->sriov->stride | 0-u16max |
| LOCK2 | 0 | &vdev->memory_lock | |
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/vfio_pci_config.c vfio_basic_config_write() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vconfig | 4096-ptr_max |
| CAPPED_DATA | 0 | vdev->pdev | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| HOST_DATA | 0 | vdev->pdev->current_state | 0-3[c] |
| HALF_LOCKED2 | 0 | &vdev->memory_lock |
drivers/vfio/pci/vfio_pci_config.c vfio_exp_config_write() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->pdev | 4096-ptr_max |
| CAPPED_DATA | 0 | vdev->pdev | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| HOST_DATA | 0 | vdev->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | vdev->pdev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->sriov->offset | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->sriov->stride | 0-u16max |
| LOCK2 | 0 | &vdev->memory_lock | |
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/vfio/pci/vfio_pci_config.c vfio_lock_and_set_power_state() -> __vfio_pci_memory_enabled()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->pdev | 4096-ptr_max |
| CAPPED_DATA | 0 | &vdev->memory_lock | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| HOST_DATA | 0 | vdev->pdev->class | 0-16777215 |
| HOST_DATA | 0 | vdev->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | vdev->pdev->devcap | 0-u32max |
| HOST_DATA | 0 | vdev->pdev->devfn | 0-503[c] |
| HOST_DATA | 0 | vdev->pdev->device | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | vdev->pdev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | vdev->pdev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | vdev->pdev->irq | 0-255 |
| HOST_DATA | 0 | vdev->pdev->is_cxl | 0-1 |
| HOST_DATA | 0 | vdev->pdev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | vdev->pdev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | vdev->pdev->pin | 0 |
| HOST_DATA | 0 | vdev->pdev->pme_support | 0-31[c] |
| HOST_DATA | 0 | vdev->pdev->revision | 0-255 |
| HOST_DATA | 0 | vdev->pdev->sriov->offset | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->sriov->stride | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | vdev->pdev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | vdev->pdev->transparent | 0[c] |
| LOCK2 | 0 | &vdev->memory_lock | |
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |