Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ipack/carriers/tpci200.c tpci200_pci_probe() -> tpci200_create_device()

Type Parameter Key Value
PARAM_VALUE 0 tpci200 4096-ptr_max
PARAM_VALUE 0 tpci200->info 4096-ptr_max
PARAM_VALUE 0 tpci200->info->cfg_regs 4096-ptr_max
PARAM_VALUE 0 tpci200->info->ipack_bus 4096-ptr_max
PARAM_VALUE 0 tpci200->info->ipack_bus->bus_nr 0-s32max
PARAM_VALUE 0 tpci200->info->ipack_bus->ops 3610849953936322560
PARAM_VALUE 0 tpci200->info->ipack_bus->parent 4096-ptr_max
PARAM_VALUE 0 tpci200->info->ipack_bus->slots 4
PARAM_VALUE 0 tpci200->info->pdev 4096-ptr_max
PARAM_VALUE 0 tpci200->info->pdev->driver 4096-ptr_max
PARAM_VALUE 0 tpci200->number 0-s32max
PARAM_VALUE 0 tpci200->slots 0
PARAM_VALUE 0 *tpci200->info->pdev->saved_config_space 0-4294967295
PARAM_VALUE 1 i 0-3
BUF_SIZE 0 tpci200 288
BUF_SIZE 0 tpci200->info 32
BUF_SIZE 0 tpci200->info->ipack_bus 32
BUF_SIZE 0 tpci200->info->ipack_bus->ops 56
BUF_SIZE 0 tpci200->info->ipack_bus->parent 1616
BUF_SIZE 0 tpci200->info->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
CAPPED_DATA 0 tpci200->info->pdev 1
DATA_SOURCE 0 tpci200 r _kzalloc_noprof
FUZZY_MAX 1 i 3
HARD_MAX 1 i 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 tpci200->info->pdev->current_state 0-3[c]