[PATCH v5 40/54] ARM: mmu: Make use of dsb() and isb() helpers

[Andrey Smirnov]

Signed-off-by: Andrey Smirnov <andrew.smir...@gmail.com>
---
 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
barebox@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/barebox