Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/controller/pci-aardvark.c advk_pcie_remove() -> advk_pcie_disable_ob_win()

Type Parameter Key Value
PARAM_VALUE 0 pcie 4096-ptr_max
PARAM_VALUE 1 win_num 0-7
BUF_SIZE 0 pcie s32min-(-2),1-s32max
BUF_SIZE 0 pcie s32min-(-2),1-s32max
CAPPED_DATA 0 pcie->bridge.pci_regs_behavior 1
CAPPED_DATA 0 pcie->irq_domain 1
CAPPED_DATA 0 pcie->msi_inner_domain 1
CAPPED_DATA 0 pcie->rp_irq_domain 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 pcie unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/pci/controller/pci-aardvark.c advk_pcie_setup_hw() -> advk_pcie_disable_ob_win()

Type Parameter Key Value
PARAM_VALUE 0 pcie 4096-ptr_max
PARAM_VALUE 0 pcie->base 4096-ptr_max
PARAM_VALUE 1 win_num 0-7
BUF_SIZE 0 pcie 0-1080
BUF_SIZE 0 pcie 0-1080
BUF_SIZE 0 pcie->reset_gpio s32min,(-1),1-s32max
CAPPED_DATA 0 pcie 1
CAPPED_DATA 0 pcie->reset_gpio 1
CAPPED_DATA 0 pcie->wins_count 1
DATA_SOURCE 0 pcie $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL