#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.
*/
(void)intid;
return -1;
}
-#endif /*defined(SPD_spmd)*/
+#endif /*defined(SPD_spmd) && (SPMC_AT_EL3 == 0)*/
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.
*/
(void)intid;
return -1;
}
-#endif /*defined(SPD_spmd)*/
+#endif /*defined(SPD_spmd) && (SPMC_AT_EL3 == 0)*/
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();
return -1;
}
-#endif /*defined(SPD_spmd) && (SPMD_SPM_AT_SEL2 == 1)*/
+#endif /*defined(SPD_spmd) && (SPMC_AT_EL3 == 0)*/
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.
*/
}
#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.
*/
(void)intid;
return -1;
}
-#endif /*defined(SPD_spmd) && (SPMD_SPM_AT_SEL2 == 1)*/
+#endif /*defined(SPD_spmd) && (SPMC_AT_EL3 == 0)*/