Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/vfio/pci/pds/cmds.c pds_vfio_client_adminq_cmd() -> pds_vfio_to_dev()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
DATA_SOURCE 0 pds_vfio $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_dirty_disable_cmd() -> pds_vfio_to_dev()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
DATA_SOURCE 0 pds_vfio $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_dirty_enable_cmd() -> pds_vfio_to_dev()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->vfio_coredev.pdev 4096-ptr_max
DATA_SOURCE 0 pds_vfio $0
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_dirty_seq_ack_cmd() -> pds_vfio_to_dev()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->vfio_coredev.pdev 4096-ptr_max
CAPPED_DATA 0 pds_vfio->dirty.num_regions 1
DATA_SOURCE 0 pds_vfio $0
LOCK2 0 &pds_vfio->state_mutex
HALF_LOCKED2 &iopt->iova_rwsem
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_dirty_status_cmd() -> pds_vfio_to_dev()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->vfio_coredev.pdev 4096-ptr_max
DATA_SOURCE 0 pds_vfio $0
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_get_lm_state_size_cmd() -> pds_vfio_to_dev()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
DATA_SOURCE 0 pds_vfio $0
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_resume_device_cmd() -> pds_vfio_to_dev()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
DATA_SOURCE 0 pds_vfio $0
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_send_host_vf_lm_status_cmd() -> pds_vfio_to_dev()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
DATA_SOURCE 0 pds_vfio $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_suspend_device_cmd() -> pds_vfio_to_dev()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
DATA_SOURCE 0 pds_vfio $0
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_suspend_wait_device_cmd() -> pds_vfio_to_dev()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->vfio_coredev.pdev 4096-ptr_max
DATA_SOURCE 0 pds_vfio $0
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/pci_drv.c pds_vfio_pci_notify_handler() -> pds_vfio_to_dev()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max

drivers/vfio/pci/pds/pci_drv.c pds_vfio_pci_register_event_handler() -> pds_vfio_to_dev()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->vfio_coredev.pdev 4096-ptr_max
CAPPED_DATA 0 pds_vfio->vfio_coredev.pdev->slot 1
DATA_SOURCE 0 pds_vfio $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 pds_vfio->vfio_coredev.pdev->current_state 0-3[c]
HOST_DATA 0 pds_vfio->vfio_coredev.vdev->dev 0-u64max
HOST_DATA 0 pds_vfio->vfio_coredev.vdev.dev->iommu.max_pasids 0-u32max
NO_OVERFLOW_SIMPLE 0 pds_vfio->vfio_coredev.vdev.cdev.count