diff options
Diffstat (limited to 'plat/arm/board/corstone1000/common/corstone1000_bl31_setup.c')
| -rw-r--r-- | plat/arm/board/corstone1000/common/corstone1000_bl31_setup.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plat/arm/board/corstone1000/common/corstone1000_bl31_setup.c b/plat/arm/board/corstone1000/common/corstone1000_bl31_setup.c index b6765a60e..2549d3566 100644 --- a/plat/arm/board/corstone1000/common/corstone1000_bl31_setup.c +++ b/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)*/ |