diff options
| -rw-r--r-- | services/std_svc/sdei/sdei_private.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/services/std_svc/sdei/sdei_private.h b/services/std_svc/sdei/sdei_private.h index f5197c61..82126674 100644 --- a/services/std_svc/sdei/sdei_private.h +++ b/services/std_svc/sdei/sdei_private.h @@ -8,6 +8,7 @@ #define SDEI_PRIVATE_H #include <arch_helpers.h> +#include <context.h> #include <context_mgmt.h> #include <debug.h> #include <errno.h> |