diff options
Diffstat (limited to 'services/std_svc/psci/psci_afflvl_on.c')
| -rw-r--r-- | services/std_svc/psci/psci_afflvl_on.c | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/services/std_svc/psci/psci_afflvl_on.c b/services/std_svc/psci/psci_afflvl_on.c index a1c12a88..8f9bb4de 100644 --- a/services/std_svc/psci/psci_afflvl_on.c +++ b/services/std_svc/psci/psci_afflvl_on.c @@ -28,18 +28,14 @@ * POSSIBILITY OF SUCH DAMAGE. */ -#include <stdio.h> -#include <stdint.h> -#include <string.h> +#include <arch.h> +#include <arch_helpers.h> #include <assert.h> +#include <bl_common.h> #include <bl31.h> -#include <debug.h> -#include <arch_helpers.h> -#include <console.h> -#include <platform.h> -#include <psci.h> #include <context_mgmt.h> #include <runtime_svc.h> +#include <stddef.h> #include "psci_private.h" typedef int (*afflvl_on_handler_t)(unsigned long, |