Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/probe.c pci_add_new_bus() -> pci_alloc_child_bus()

Type Parameter Key Value
PARAM_VALUE 0 parent 4096-ptr_max
PARAM_VALUE 0 parent->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 parent->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 parent->self->physfn->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 1 bridge 0,4096-ptr_max
PARAM_VALUE 1 bridge->dev.bus 0,4096-ptr_max
PARAM_VALUE 1 bridge->dev.class 0,4096-ptr_max
PARAM_VALUE 1 bridge->dev.power.request 0-4
PARAM_VALUE 1 bridge->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 1 bridge->dev.power.wakeirq 0,4096-ptr_max
PARAM_VALUE 1 bridge->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 bridge->dev.type 0,4096-ptr_max
PARAM_VALUE 1 bridge->error_state 0-2,4-u32max
PARAM_VALUE 1 bridge->hdr_type 1-2
BUF_SIZE 0 parent (-1)-0,1904
BUF_SIZE 0 parent (-1)-0,1904
CAPPED_DATA 0 parent 1
DATA_SOURCE 0 parent $0
DATA_SOURCE 1 bridge $1
DATA_SOURCE 2 busnr $2
HARD_MAX 1 bridge->hdr_type 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 parent->bridge_ctl 0
HOST_DATA 0 parent->parent->bridge_ctl 0-u16max
HOST_DATA 0 parent->self->bus->bridge_ctl 0-u16max
HOST_DATA 1 bridge->subordinate->busn_res.start 1-16777470[c]
HOST_DATA 2 busnr 1-256[c]
UNITS 2 busnr unit_byte
HALF_LOCKED2 global &pci_rescan_remove_lock