Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/bus.c __pci_walk_bus() -> __pci_walk_bus param 1()

Type Parameter Key Value
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->subordinate->self->link_bwctrl->cdev 0,4096-s64max
PARAM_VALUE 0 *dev->saved_config_space 0-4294967295
BUF_SIZE 1 data s32min-(-1),1-s32max
BUF_SIZE 1 data s32min-(-1),1-s32max
BUF_SIZE 1 data->data (-1),4,32
BUF_SIZE 1 data->level (-1),3
BUF_SIZE 1 data->pdev (-1),1-s32max
DATA_SOURCE 1 data $2
STR_LEN 1 data->level (-1),2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->dev.driver_data->hw->fw_dump->isp.isp21.hccr 0-u16max
HOST_DATA 0 dev->dev.driver_data->hw->fw_dump->isp.isp23.hccr 0-u16max
HOST_DATA 0 dev->dev.driver_data->hw->fw_dump->isp.isp24.host_status 0-4294967295
HOST_DATA 0 dev->dev.driver_data->hw->fw_dump->isp.isp25.host_status 0-4294967295
HOST_DATA 0 dev->dev.driver_data->hw->fw_dump->isp.isp25.risc_io_reg 0-4294967295
HOST_DATA 0 dev->dev.driver_data->hw->fw_dump->isp.isp81.host_status 0-4294967295
HOST_DATA 0 dev->dev.driver_data->hw->fw_dump->isp.isp81.risc_io_reg 0-4294967295
HOST_DATA 0 dev->dev.driver_data->hw->fw_dump->isp.isp83.host_status 0-4294967295
HOST_DATA 0 dev->dev.driver_data->hw->fw_dump->isp.isp83.risc_io_reg 0-4294967295
UNITS 1 data unit_byte
HALF_LOCKED2 global &pci_bus_sem