diff --git a/py/asmarm.c b/py/asmarm.c
index 2a84f985b..59c661cc0 100644
--- a/py/asmarm.c
+++ b/py/asmarm.c
@@ -41,9 +41,9 @@
 void asm_arm_end_pass(asm_arm_t *as) {
     if (as->base.pass == MP_ASM_PASS_EMIT) {
 #if defined(__linux__) && defined(__GNUC__)
-	char *start = mp_asm_base_get_code(&as->base);
-	char *end = start + mp_asm_base_get_code_size(&as->base);
-	__clear_cache(start, end);
+        char *start = mp_asm_base_get_code(&as->base);
+        char *end = start + mp_asm_base_get_code_size(&as->base);
+        __builtin___clear_cache(start, end);
 #elif defined(__arm__)
         // flush I- and D-cache
         asm volatile(