diff options
Diffstat (limited to 'src/arch/arm64/bl31.c')
| -rw-r--r-- | src/arch/arm64/bl31.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/arch/arm64/bl31.c b/src/arch/arm64/bl31.c index 3677b41540..c06eee07ca 100644 --- a/src/arch/arm64/bl31.c +++ b/src/arch/arm64/bl31.c @@ -1,7 +1,6 @@ /* SPDX-License-Identifier: GPL-2.0-only */ /* This file is part of the coreboot project. */ -#include <arch/cache.h> #include <arch/lib_helpers.h> #include <arch/mmu.h> #include <arch/transition.h> |