diff options
| author | Yu-Ping Wu <yupingso@chromium.org> | 2024-07-25 14:27:33 +0800 |
|---|---|---|
| committer | Elyes Haouas <ehaouas@noos.fr> | 2024-07-27 05:13:28 +0000 |
| commit | fa9fbb40f9fe1ddd410664cda82afb3960c04b9c (patch) | |
| tree | 48845022e18c4b5418e155a5ae172bf5c511cda2 /src/arch | |
| parent | 015c842620c3770ad5240cbd215a1b41ea28c892 (diff) | |
arch/arm64/armv8/mmu: Add missing header arch/barrier.h
Also take the chance to sort the headers.
BUG=none
TEST=none
BRANCH=none
Change-Id: I9d487a40d0c58c6458b8b7d32b6401093fa417e7
Signed-off-by: Yu-Ping Wu <yupingso@chromium.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/83651
Reviewed-by: Paul Menzel <paulepanter@mailbox.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Julius Werner <jwerner@chromium.org>
Diffstat (limited to 'src/arch')
| -rw-r--r-- | src/arch/arm64/armv8/mmu.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/arch/arm64/armv8/mmu.c b/src/arch/arm64/armv8/mmu.c index 6105f9a9b2..0f84146a2b 100644 --- a/src/arch/arm64/armv8/mmu.c +++ b/src/arch/arm64/armv8/mmu.c @@ -5,10 +5,11 @@ #include <string.h> #include <symbols.h> -#include <console/console.h> -#include <arch/mmu.h> -#include <arch/lib_helpers.h> +#include <arch/barrier.h> #include <arch/cache.h> +#include <arch/lib_helpers.h> +#include <arch/mmu.h> +#include <console/console.h> /* This just caches the next free table slot (okay to do since they fill up from * bottom to top and can never be freed up again). It will reset to its initial |