diff options
| author | Antonio Niño Díaz <antonio.ninodiaz@arm.com> | 2018-10-31 15:31:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-31 15:31:32 +0100 |
| commit | c54763866a329e6dac40b76282ccd888ed1a6ffc (patch) | |
| tree | 222cef95d1ff9077ac3b89c89997e64697817b42 | |
| parent | 318c2f9760377605ba257b5799bbdf52139030dd (diff) | |
| parent | c4491aa9a6a13f40307fa8223bb2811dc33b3b72 (diff) | |
Merge pull request #1659 from vwadekar/sdei-fix-compilation
sdei: include "context.h" to fix compilation errors
| -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> |