diff options
Diffstat (limited to 'src/arch/arm64')
| -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 |