diff options
Diffstat (limited to 'services/std_svc/psci/psci_afflvl_off.c')
| -rw-r--r-- | services/std_svc/psci/psci_afflvl_off.c | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/services/std_svc/psci/psci_afflvl_off.c b/services/std_svc/psci/psci_afflvl_off.c index b3959125..e007bc30 100644 --- a/services/std_svc/psci/psci_afflvl_off.c +++ b/services/std_svc/psci/psci_afflvl_off.c @@ -28,14 +28,10 @@ * POSSIBILITY OF SUCH DAMAGE. */ -#include <stdio.h> -#include <string.h> -#include <assert.h> -#include <debug.h> +#include <arch.h> #include <arch_helpers.h> -#include <console.h> -#include <platform.h> -#include <psci.h> +#include <assert.h> +#include <string.h> #include "psci_private.h" typedef int (*afflvl_off_handler_t)(unsigned long, aff_map_node_t *); |