Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/pci.c pci_bus_find_capability() -> __pci_find_next_cap()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->ops 4096-ptr_max
PARAM_VALUE 0 bus->ops->read 4096-ptr_max
PARAM_VALUE 3 cap 6
DATA_SOURCE 0 bus $0
DATA_SOURCE 1 devfn $1
DATA_SOURCE 2 pos r __pci_bus_find_cap_start
DATA_SOURCE 3 cap $2
BIT_INFO 2 pos 0x0,0x3f
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &list_rwsem

drivers/pci/pci.c pci_find_capability() -> __pci_find_next_cap()

Type Parameter Key Value
PARAM_VALUE 0 bus->self->link_bwctrl->cdev (-4095)-s64max
DATA_SOURCE 2 pos r __pci_bus_find_cap_start
DATA_SOURCE 3 cap $1
BIT_INFO 2 pos 0x0,0x3f
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bus->bridge_ctl 0-u16max
HOST_DATA 0 bus->parent->bridge_ctl 0-u16max
HOST_DATA 1 devfn 0-503[c]
HALF_LOCKED2 &rdev->exclusive_lock
HALF_LOCKED2 global &mthca_device_mutex

drivers/pci/pci.c pci_find_next_capability() -> __pci_find_next_cap()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->ops 4096-ptr_max
PARAM_VALUE 0 bus->ops->read 4096-ptr_max
PARAM_VALUE 3 cap 9
DATA_SOURCE 3 cap $2
RX_PATH
TASK_NOT_RUNNING