Merge "fix(spmd): fix build error with spmd" into integration

plat/arm/board/corstone1000/common/corstone1000_bl31_setup.c

@@ -6,7 +6,7 @@
 
 #include <stdint.h>
 
-#if defined(SPD_spmd)
+#if defined(SPD_spmd) && (SPMC_AT_EL3 == 0)
 /*
  * A dummy implementation of the platform handler for Group0 secure interrupt.
  */
@@ -15,4 +15,4 @@ int plat_spmd_handle_group0_interrupt(uint32_t intid)
 	(void)intid;
 	return -1;
 }
-#endif /*defined(SPD_spmd)*/
+#endif /*defined(SPD_spmd) && (SPMC_AT_EL3 == 0)*/

plat/arm/board/n1sdp/n1sdp_bl31_setup.c

@@ -160,7 +160,7 @@ void bl31_platform_setup(void)
 		remote_dmc_ecc_setup(plat_info.remote_ddr_size);
 }
 
-#if defined(SPD_spmd)
+#if defined(SPD_spmd) && (SPMC_AT_EL3 == 0)
 /*
  * A dummy implementation of the platform handler for Group0 secure interrupt.
  */
@@ -169,4 +169,4 @@ int plat_spmd_handle_group0_interrupt(uint32_t intid)
 	(void)intid;
 	return -1;
 }
-#endif /*defined(SPD_spmd)*/
+#endif /*defined(SPD_spmd) && (SPMC_AT_EL3 == 0)*/

plat/arm/board/tc/tc_bl31_setup.c

@@ -83,7 +83,7 @@ void __init bl31_plat_arch_setup(void)
 	fconf_populate("HW_CONFIG", hw_config_info->config_addr);
 }
 
-#if defined(SPD_spmd) && (SPMD_SPM_AT_SEL2 == 1)
+#if defined(SPD_spmd) && (SPMC_AT_EL3 == 0)
 void tc_bl31_plat_runtime_setup(void)
 {
 	arm_bl31_plat_runtime_setup();
@@ -115,4 +115,4 @@ int plat_spmd_handle_group0_interrupt(uint32_t intid)
 
 	return -1;
 }
-#endif /*defined(SPD_spmd) && (SPMD_SPM_AT_SEL2 == 1)*/
+#endif /*defined(SPD_spmd) && (SPMC_AT_EL3 == 0)*/

plat/hisilicon/hikey960/hikey960_bl31_setup.c

@@ -245,7 +245,7 @@ static uint64_t hikey_debug_fiq_handler(uint32_t id,
 
 	return 0;
 }
-#elif defined(SPD_spmd) && (SPMD_SPM_AT_SEL2 == 1)
+#elif defined(SPD_spmd) && (SPMC_AT_EL3 == 0)
 /*
  * A dummy implementation of the platform handler for Group0 secure interrupt.
  */

plat/qemu/common/qemu_common.c

@@ -163,7 +163,7 @@ int plat_spmc_shmem_reclaim(struct ffa_mtd *desc)
 }
 #endif
 
-#if defined(SPD_spmd) && (SPMD_SPM_AT_SEL2 == 1)
+#if defined(SPD_spmd) && (SPMC_AT_EL3 == 0)
 /*
  * A dummy implementation of the platform handler for Group0 secure interrupt.
  */
@@ -172,4 +172,4 @@ int plat_spmd_handle_group0_interrupt(uint32_t intid)
 	(void)intid;
 	return -1;
 }
-#endif /*defined(SPD_spmd) && (SPMD_SPM_AT_SEL2 == 1)*/
+#endif /*defined(SPD_spmd) && (SPMC_AT_EL3 == 0)*/