Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/controller/dwc/pcie-designware-ep.c dw_pcie_ep_raise_msi_irq() -> dw_pcie_ep_align_addr()

Type Parameter Key Value
PARAM_VALUE 2 pci_size 4156871843009564672
PARAM_VALUE 2 *pci_size 4
PARAM_VALUE 3 offset 3639853194139189248
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 pci_addr 0-u64max
LOCK2 &epc->lock
HALF_LOCKED2 &ctrl->irq_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct pci_epc)->lock

drivers/pci/controller/dwc/pcie-designware-ep.c dw_pcie_ep_raise_msix_irq() -> dw_pcie_ep_align_addr()

Type Parameter Key Value
PARAM_VALUE 2 pci_size 5552075783349575680
PARAM_VALUE 2 *pci_size 4
PARAM_VALUE 3 offset 7191596406891126784
RX_PATH
TASK_NOT_RUNNING
LOCK2 &epc->lock
HALF_LOCKED2 &ctrl->irq_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct pci_epc)->lock

drivers/pci/endpoint/pci-epc-core.c pci_epc_mem_map() -> (struct pci_epc_ops)->align_addr()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->max_functions 1-255
PARAM_VALUE 0 epc->max_vfs 0,4096-ptr_max
PARAM_VALUE 0 epc->ops 4096-ptr_max
PARAM_VALUE 0 epc->ops->align_addr 3385876029412794368,5651512979832377344
PARAM_VALUE 0 epc->ops->map_addr 4096-ptr_max
PARAM_VALUE 2 pci_size 658488769856270336
PARAM_VALUE 2 *pci_size 1-u64max
PARAM_VALUE 3 offset 4455483075245326336
PARAM_VALUE 3 *offset 0
DATA_SOURCE 0 epc $0
DATA_SOURCE 1 pci_addr $3
CONTAINER 0 -24-1784+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock