Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/xen/xen-pciback/pci_stub.c xen_pcibk_get_pcifront_dev() -> (struct xen_pcibk_backend)->find()

Type Parameter Key Value
PARAM_VALUE 0 pcidev 4096-ptr_max
PARAM_VALUE 0 pcidev->bus 4096-ptr_max
PARAM_VALUE 1 pdev 4096-ptr_max
PARAM_VALUE 1 pdev->sh_info 1-u64max
PARAM_VALUE 2 domain 4096-ptr_max
PARAM_VALUE 3 bus 4096-ptr_max
PARAM_VALUE 4 devfn 4096-ptr_max
CAPPED_DATA 0 pcidev->bus->number 1
DATA_SOURCE 0 pcidev $0
DATA_SOURCE 1 pdev $1
DATA_SOURCE 2 domain $2
DATA_SOURCE 3 bus $3
DATA_SOURCE 4 devfn $4
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &pcistub_sem
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &pool->lock