diff options
Diffstat (limited to 'plat/st/stm32mp1/stm32mp1_gic.c')
-rw-r--r-- | plat/st/stm32mp1/stm32mp1_gic.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/plat/st/stm32mp1/stm32mp1_gic.c b/plat/st/stm32mp1/stm32mp1_gic.c index 11eb0a3e2c..fabed370f0 100644 --- a/plat/st/stm32mp1/stm32mp1_gic.c +++ b/plat/st/stm32mp1/stm32mp1_gic.c @@ -4,11 +4,12 @@ * SPDX-License-Identifier: BSD-3-Clause */ -#include <bl_common.h> -#include <gicv2.h> -#include <platform.h> #include <platform_def.h> -#include <utils.h> + +#include <common/bl_common.h> +#include <drivers/arm/gicv2.h> +#include <lib/utils.h> +#include <plat/common/platform.h> #include <stm32mp1_private.h> |