diff --git a/sys/arm64/arm64/db_interface.c b/sys/arm64/arm64/db_interface.c
--- a/sys/arm64/arm64/db_interface.c
+++ b/sys/arm64/arm64/db_interface.c
@@ -167,8 +167,10 @@
 				*dst++ = *data++;
 			dsb(ish);
 
-			/* Clean D-cache and invalidate I-cache */
-			cpu_dcache_wb_range(addr, (vm_size_t)size);
+			/*
+			 * Ensure the I & D cache are in sync if we wrote
+			 * to executable memory.
+			 */
 			cpu_icache_sync_range(addr, (vm_size_t)size);
 		}
 	}