diff options
Diffstat (limited to 'services/std_svc')
| -rw-r--r-- | services/std_svc/psci/psci_afflvl_on.c | 1 | ||||
| -rw-r--r-- | services/std_svc/psci/psci_common.c | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/services/std_svc/psci/psci_afflvl_on.c b/services/std_svc/psci/psci_afflvl_on.c index 360b2860..1e5828ca 100644 --- a/services/std_svc/psci/psci_afflvl_on.c +++ b/services/std_svc/psci/psci_afflvl_on.c @@ -34,6 +34,7 @@ #include <bl_common.h> #include <bl31.h> #include <context_mgmt.h> +#include <platform.h> #include <runtime_svc.h> #include <stddef.h> #include "psci_private.h" diff --git a/services/std_svc/psci/psci_common.c b/services/std_svc/psci/psci_common.c index c61e87ad..b1ee10da 100644 --- a/services/std_svc/psci/psci_common.c +++ b/services/std_svc/psci/psci_common.c @@ -35,6 +35,7 @@ #include <context.h> #include <context_mgmt.h> #include <debug.h> +#include <platform.h> #include "psci_private.h" /* |