diff options
Diffstat (limited to 'services/std_svc/sdei/sdei_private.h')
| -rw-r--r-- | services/std_svc/sdei/sdei_private.h | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/services/std_svc/sdei/sdei_private.h b/services/std_svc/sdei/sdei_private.h index 82126674..b945394d 100644 --- a/services/std_svc/sdei/sdei_private.h +++ b/services/std_svc/sdei/sdei_private.h @@ -7,19 +7,20 @@ #ifndef SDEI_PRIVATE_H #define SDEI_PRIVATE_H -#include <arch_helpers.h> -#include <context.h> -#include <context_mgmt.h> -#include <debug.h> #include <errno.h> -#include <interrupt_mgmt.h> -#include <platform.h> -#include <sdei.h> -#include <setjmp.h> -#include <spinlock.h> #include <stdbool.h> #include <stdint.h> -#include <utils_def.h> + +#include <arch_helpers.h> +#include <bl31/interrupt_mgmt.h> +#include <common/debug.h> +#include <context.h> +#include <lib/el3_runtime/context_mgmt.h> +#include <lib/spinlock.h> +#include <lib/utils_def.h> +#include <plat/common/platform.h> +#include <services/sdei.h> +#include <setjmp.h> #ifdef AARCH32 # error SDEI is implemented only for AArch64 systems |