Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/virtio/virtio_pci_admin_legacy_io.c virtio_pci_admin_has_legacy_io() -> virtio_pci_vf_get_pf_dev()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->is_virtfn 1
DATA_SOURCE 0 pdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/virtio/virtio_pci_admin_legacy_io.c virtio_pci_admin_legacy_io_notify_info() -> virtio_pci_vf_get_pf_dev()

Type Parameter Key Value
DATA_SOURCE 0 pdev $0
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_pci_admin_legacy_io.c virtio_pci_admin_legacy_io_read() -> virtio_pci_vf_get_pf_dev()

Type Parameter Key Value
DATA_SOURCE 0 pdev $0
LOCK2 _T->lock

drivers/virtio/virtio_pci_admin_legacy_io.c virtio_pci_admin_legacy_io_write() -> virtio_pci_vf_get_pf_dev()

Type Parameter Key Value
DATA_SOURCE 0 pdev $0
LOCK2 _T->lock

drivers/virtio/virtio_pci_modern.c virtio_pci_admin_dev_parts_get() -> virtio_pci_vf_get_pf_dev()

Type Parameter Key Value
DATA_SOURCE 0 pdev $0
LOCK2 &virtvdev->state_mutex
TYPE_LOCK (struct virtiovf_pci_core_device)->state_mutex

drivers/virtio/virtio_pci_modern.c virtio_pci_admin_dev_parts_metadata_get() -> virtio_pci_vf_get_pf_dev()

Type Parameter Key Value
DATA_SOURCE 0 pdev $0
LOCK2 &virtvdev->state_mutex
TYPE_LOCK (struct virtiovf_pci_core_device)->state_mutex

drivers/virtio/virtio_pci_modern.c virtio_pci_admin_dev_parts_set() -> virtio_pci_vf_get_pf_dev()

Type Parameter Key Value
DATA_SOURCE 0 pdev $0
LOCK2 &migf->lock
LOCK2 &migf->virtvdev->state_mutex
TYPE_LOCK (struct virtiovf_migration_file)->lock
TYPE_LOCK (struct virtiovf_pci_core_device)->state_mutex

drivers/virtio/virtio_pci_modern.c virtio_pci_admin_has_dev_parts() -> virtio_pci_vf_get_pf_dev()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->is_virtfn 1
CAPPED_DATA 0 pdev 1
DATA_SOURCE 0 pdev $0
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_pci_modern.c virtio_pci_admin_mode_set() -> virtio_pci_vf_get_pf_dev()

Type Parameter Key Value
DATA_SOURCE 0 pdev $0
LOCK2 &virtvdev->state_mutex
TYPE_LOCK (struct virtiovf_pci_core_device)->state_mutex

drivers/virtio/virtio_pci_modern.c virtio_pci_admin_obj_create() -> virtio_pci_vf_get_pf_dev()

Type Parameter Key Value
DATA_SOURCE 0 pdev $0
LOCK2 &virtvdev->state_mutex
TYPE_LOCK (struct virtiovf_pci_core_device)->state_mutex

drivers/virtio/virtio_pci_modern.c virtio_pci_admin_obj_destroy() -> virtio_pci_vf_get_pf_dev()

Type Parameter Key Value
DATA_SOURCE 0 pdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &virtvdev->state_mutex