diff options
Diffstat (limited to 'plat/common/plat_gicv3.c')
| -rw-r--r-- | plat/common/plat_gicv3.c | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/plat/common/plat_gicv3.c b/plat/common/plat_gicv3.c index f8277fe5..f5ed6fc9 100644 --- a/plat/common/plat_gicv3.c +++ b/plat/common/plat_gicv3.c @@ -3,16 +3,18 @@ * * SPDX-License-Identifier: BSD-3-Clause */ -#include <arch_helpers.h> + #include <assert.h> -#include <bl_common.h> -#include <cassert.h> -#include <gic_common.h> -#include <gicv3.h> -#include <interrupt_mgmt.h> -#include <platform.h> #include <stdbool.h> +#include <arch_helpers.h> +#include <common/bl_common.h> +#include <bl31/interrupt_mgmt.h> +#include <drivers/arm/gic_common.h> +#include <drivers/arm/gicv3.h> +#include <lib/cassert.h> +#include <plat/common/platform.h> + #ifdef IMAGE_BL31 /* |