diff options
Diffstat (limited to 'plat/arm/common/aarch64/arm_sdei.c')
-rw-r--r-- | plat/arm/common/aarch64/arm_sdei.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/plat/arm/common/aarch64/arm_sdei.c b/plat/arm/common/aarch64/arm_sdei.c index 687b21d43b..493134b6a1 100644 --- a/plat/arm/common/aarch64/arm_sdei.c +++ b/plat/arm/common/aarch64/arm_sdei.c @@ -6,9 +6,10 @@ /* SDEI configuration for ARM platforms */ -#include <ehf.h> #include <platform_def.h> -#include <sdei.h> + +#include <bl31/ehf.h> +#include <services/sdei.h> /* Private event mappings */ static sdei_ev_map_t arm_sdei_private[] = { |