diff options
Diffstat (limited to 'plat/marvell/common/marvell_gicv3.c')
-rw-r--r-- | plat/marvell/common/marvell_gicv3.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plat/marvell/common/marvell_gicv3.c b/plat/marvell/common/marvell_gicv3.c index 5699be96..c4d2b3de 100644 --- a/plat/marvell/common/marvell_gicv3.c +++ b/plat/marvell/common/marvell_gicv3.c @@ -9,10 +9,10 @@ * * SPDX-License-Identifier: BSD-3-Clause */ -#include <arm_def.h> #include <debug.h> #include <gicv3.h> #include <interrupt_props.h> +#include <marvell_def.h> #include <plat_marvell.h> #include <platform.h> #include <platform_def.h> @@ -200,4 +200,4 @@ void plat_marvell_gic_irq_pcpu_save(void) void plat_marvell_gic_irq_pcpu_restore(void) { gicv3_rdistif_init_restore(plat_my_core_pos(), &rdist_ctx); -}
\ No newline at end of file +} |