Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/xen-pcifront.c pcifront_rescan_root() -> pcifront_scan_bus()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->xdev 4096-ptr_max
PARAM_VALUE 0 pdev->xdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 pdev->xdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 pdev->xdev->dev.driver 0,4096-ptr_max
PARAM_VALUE 3 b 1-u64max
BUF_SIZE 0 pdev s32min-(-2),1-s32max
BUF_SIZE 0 pdev s32min-(-2),1-s32max
CAPPED_DATA 1 domain 1
DATA_SOURCE 0 pdev $0
DATA_SOURCE 1 domain $1
DATA_SOURCE 2 bus $2
DATA_SOURCE 3 b r pci_find_bus
TASK_NOT_RUNNING
UNITS 0 pdev unit_byte
LOCK2 global &xenwatch_mutex

drivers/pci/xen-pcifront.c pcifront_scan_root() -> pcifront_scan_bus()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->root_buses.next 4096-ptr_max
PARAM_VALUE 0 pdev->root_buses.next->next 4096-ptr_max
PARAM_VALUE 0 pdev->root_buses.next->prev 4096-ptr_max
PARAM_VALUE 0 pdev->xdev 4096-ptr_max
PARAM_VALUE 0 pdev->xdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 pdev->xdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 pdev->xdev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 pdev->xdev->vanished 0
PARAM_VALUE 3 b 4096-ptr_max
PARAM_VALUE 3 b->resources.prev->next->next 4096-ptr_max
PARAM_VALUE 3 b->self->bus->ops 4096-ptr_max
PARAM_VALUE 3 b->self->physfn->link_bwctrl->cdev 0-s64max
BUF_SIZE 0 pdev s32min-(-2),1-s32max
BUF_SIZE 0 pdev s32min-(-2),1-s32max
DATA_SOURCE 0 pdev $0
DATA_SOURCE 1 domain $1 [m]
DATA_SOURCE 2 bus $2
DATA_SOURCE 3 b r pci_scan_root_bus
TASK_NOT_RUNNING
UNITS 0 pdev unit_byte
LOCK2 global &pci_rescan_remove_lock
LOCK2 global &xenwatch_mutex