diff --git a/sys/arm/include/kdb.h b/sys/arm/include/kdb.h
index b04cd581aad2..98099a35e1a7 100644
--- a/sys/arm/include/kdb.h
+++ b/sys/arm/include/kdb.h
@@ -55,8 +55,6 @@ kdb_cpu_sync_icache(unsigned char *addr, size_t size)
 static __inline void
 kdb_cpu_trap(int type, int code)
 {
-
-	cpu_idcache_wbinv_all();
 }
 
 #endif /* _MACHINE_KDB_H_ */