[reivew] core: arm64.h: add tlbi_vale1is()

Fix spell error in tlbi_vale1is() Signed-off-by: Jens Wiklander <[email protected]>
OP-TEE · Jun 18, 2019 · 82c8d15 · 82c8d15
1 parent 76525ef
commit 82c8d15
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/arch/arm/include/arm64.h b/core/arch/arm/include/arm64.h
@@ -251,7 +251,7 @@ static inline void tlbi_vaae1is(uint64_t mva)
 
 static inline void tlbi_vale1is(uint64_t mva)
 {
-	asm volatile ("tlbi	vaae1is, %0" : : "r" (mva));
+	asm volatile ("tlbi	vale1is, %0" : : "r" (mva));
 }
 
 /*