diff options
Diffstat (limited to 'src/arch/arm64/include/armv8/arch/cache.h')
| -rw-r--r-- | src/arch/arm64/include/armv8/arch/cache.h | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/arch/arm64/include/armv8/arch/cache.h b/src/arch/arm64/include/armv8/arch/cache.h index 3647290866..b31c3b0153 100644 --- a/src/arch/arm64/include/armv8/arch/cache.h +++ b/src/arch/arm64/include/armv8/arch/cache.h @@ -32,10 +32,6 @@ #ifndef ARM_ARM64_CACHE_H #define ARM_ARM64_CACHE_H -#include <stddef.h> -#include <stdint.h> -#include <arch/barrier.h> - /* SCTLR_ELx common bits */ #define SCTLR_M (1 << 0) /* MMU enable */ #define SCTLR_A (1 << 1) /* Alignment check enable */ @@ -57,6 +53,11 @@ #define SCTLR_EL1_E0E (1 << 24) /* Exception endianness at EL0 */ #define SCTLR_EL1_UCI (1 << 26) /* EL0 access to cache instructions */ +#ifndef __ASSEMBLER__ + +#include <stddef.h> +#include <stdint.h> +#include <arch/barrier.h> /* dcache clean by virtual address to PoC */ void dcache_clean_by_mva(void const *addr, size_t len); @@ -92,4 +93,6 @@ static inline void icache_invalidate_all(void) : : : "memory"); } +#endif /* __ASSEMBLER__ */ + #endif /* ARM_ARM64_CACHE_H */ |