Signed-off-by: Andrey Smirnov <[email protected]>
---
arch/arm/cpu/mmu_64.h | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/arch/arm/cpu/mmu_64.h b/arch/arm/cpu/mmu_64.h
index c280d2ced..2cbe72062 100644
--- a/arch/arm/cpu/mmu_64.h
+++ b/arch/arm/cpu/mmu_64.h
@@ -28,7 +28,7 @@ static inline void tlb_invalidate(void)
static inline void set_ttbr_tcr_mair(int el, uint64_t table, uint64_t tcr,
uint64_t attr)
{
- asm volatile("dsb sy");
+ dsb();
if (el == 1) {
asm volatile("msr ttbr0_el1, %0" : : "r" (table) : "memory");
asm volatile("msr tcr_el1, %0" : : "r" (tcr) : "memory");
@@ -44,7 +44,7 @@ static inline void set_ttbr_tcr_mair(int el, uint64_t table,
uint64_t tcr, uint6
} else {
hang();
}
- asm volatile("isb");
+ isb();
}
static inline uint64_t get_ttbr(int el)
--
2.17.0
_______________________________________________
barebox mailing list
[email protected]
http://lists.infradead.org/mailman/listinfo/barebox
