Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/setup-bus.c pbus_size_mem() -> pbus_size_mem_optional()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->resource 4096-ptr_max
PARAM_VALUE 1 resno 0-16
PARAM_VALUE 4 add_align 1107619538966405120
PARAM_VALUE 5 children_add_size 3649262061974646784
BUF_SIZE 3 realloc_head (-1)-0,16
BUF_SIZE 3 realloc_head (-1)-0,16
BUF_SIZE 3 realloc_head->next (-1),16
BUF_SIZE 3 realloc_head->prev (-1),16
DATA_SOURCE 2 align r pci_resource_alignment
DATA_SOURCE 3 realloc_head $3
FUZZY_MAX 1 resno 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &pci_bus_sem
HALF_LOCKED2 global &pci_rescan_remove_lock