Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 17 files:

Smatch caller information:

drivers/pci/controller/vmd.c vmd_enable_domain() -> pci_add_resource_offset()

Type Parameter Key Value
PARAM_VALUE 0 resources 6622972360543592448
PARAM_VALUE 0 resources->next 6622972360543592448
PARAM_VALUE 0 resources->prev 0,4096-ptr_max
PARAM_VALUE 2 offset 0
BUF_SIZE 1 res 128
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/controller/vmd.c vmd_enable_domain() -> pci_add_resource_offset()

Type Parameter Key Value
PARAM_VALUE 0 resources 6622972360543592448
PARAM_VALUE 0 resources->next 6622972360543592448
PARAM_VALUE 0 resources->prev 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/bus.c pci_add_resource() -> pci_add_resource_offset()

Type Parameter Key Value
PARAM_VALUE 0 resources 4096-ptr_max
PARAM_VALUE 0 resources->next 4096-ptr_max
PARAM_VALUE 0 resources->prev 0,4096-ptr_max
PARAM_VALUE 2 offset 0
BUF_SIZE 1 res (-1),64,192
BUF_SIZE 1 res (-1),64,192
CAPPED_DATA 0 resources 1
DATA_SOURCE 0 resources $0
DATA_SOURCE 1 res $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 res->start 0[c]
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &hbus->state_lock
HALF_LOCKED2 global &xenwatch_mutex

drivers/pci/of.c devm_of_pci_get_host_bridge_resources() -> pci_add_resource_offset()

Type Parameter Key Value
PARAM_VALUE 0 resources 4096-ptr_max
PARAM_VALUE 0 resources->next 4096-ptr_max
PARAM_VALUE 0 resources->prev 0,4096-ptr_max
PARAM_VALUE 0 resources->prev->next 4096-ptr_max
PARAM_VALUE 0 resources->prev->next->next 4096-ptr_max
PARAM_VALUE 1 res 4096-ptr_max
BUF_SIZE 1 res 64
DATA_SOURCE 0 resources $1
DATA_SOURCE 1 res r devm_kmemdup
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/of.c devm_of_pci_get_host_bridge_resources() -> pci_add_resource_offset()

Type Parameter Key Value
PARAM_VALUE 0 resources 4096-ptr_max
PARAM_VALUE 0 resources->next 4096-ptr_max
PARAM_VALUE 0 resources->prev 0,4096-ptr_max
PARAM_VALUE 1 res 4096-ptr_max
BUF_SIZE 1 res 64
DATA_SOURCE 0 resources $2
DATA_SOURCE 1 res r devm_kmemdup
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL