Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/pci/controller/pcie-mediatek-gen3.c mtk_pcie_startup_port() -> mtk_pcie_enable_msi()

Type Parameter Key Value
PARAM_VALUE 0 pcie 4096-ptr_max
BUF_SIZE 0 pcie s32min-(-2),0-s32max
BUF_SIZE 0 pcie s32min-(-2),0-s32max
BUF_SIZE 0 pcie->dev (-1),1616
CAPPED_DATA 0 pcie->num_clks 1
DATA_SOURCE 0 pcie $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 pcie unit_byte

drivers/pci/controller/pcie-mediatek.c mtk_pcie_startup_port_en7528() -> mtk_pcie_enable_msi()

Type Parameter Key Value
PARAM_VALUE 0 pcie 4096-ptr_max
PARAM_VALUE 0 pcie->base 4096-ptr_max
DATA_SOURCE 0 pcie $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pcie->ahb_ck->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 pcie->aux_ck->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 pcie->axi_ck->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 pcie->obff_ck->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 pcie->pipe_ck->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 pcie->sys_ck->core->parent->req_rate

drivers/pci/controller/pcie-mediatek.c mtk_pcie_startup_port_v2() -> mtk_pcie_enable_msi()

Type Parameter Key Value
PARAM_VALUE 0 pcie 4096-ptr_max
DATA_SOURCE 0 pcie $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pcie->ahb_ck->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 pcie->aux_ck->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 pcie->axi_ck->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 pcie->obff_ck->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 pcie->pipe_ck->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 pcie->sys_ck->core->parent->req_rate