plat: xilinx: zynqmp: Initialize IPI table from zynqmp_config_setup()
[project/bcm63xx/atf.git] / plat / xilinx / zynqmp / platform.mk
index bd7bc08da3436c4a9b6d2706ae93facc01a04e53..c34a51674a7f3c1875cddd3dba2f3e3ec9873de6 100644 (file)
@@ -64,6 +64,7 @@ PLAT_BL_COMMON_SOURCES        :=      lib/xlat_tables/xlat_tables_common.c            \
                                plat/arm/common/arm_gicv2.c                     \
                                plat/common/plat_gicv2.c                        \
                                plat/xilinx/common/ipi.c                        \
+                               plat/xilinx/zynqmp/zynqmp_ipi.c         \
                                plat/xilinx/zynqmp/aarch64/zynqmp_helpers.S     \
                                plat/xilinx/zynqmp/aarch64/zynqmp_common.c
 
@@ -78,7 +79,6 @@ BL31_SOURCES          +=      drivers/arm/cci/cci.c                           \
                                plat/xilinx/zynqmp/plat_startup.c               \
                                plat/xilinx/zynqmp/plat_topology.c              \
                                plat/xilinx/zynqmp/sip_svc_setup.c              \
-                               plat/xilinx/zynqmp/zynqmp_ipi.c         \
                                plat/xilinx/zynqmp/pm_service/pm_svc_main.c     \
                                plat/xilinx/zynqmp/pm_service/pm_api_sys.c      \
                                plat/xilinx/zynqmp/pm_service/pm_api_pinctrl.c  \