Implement kdb_cpu_sync_icache on arm64.

Sponsored by: ABT Systems Ltd
2016-02-05 15:38:28 +00:00 · 2016-02-05 15:38:28 +00:00 · 55beb2a538
commit 55beb2a538
parent 89b50f6b4d
1 changed files with 2 additions and 0 deletions
--- a/sys/arm64/include/kdb.h
+++ b/sys/arm64/include/kdb.h
@ -43,6 +43,8 @@ void kdb_cpu_set_singlestep(void);
 static __inline void
 kdb_cpu_sync_icache(unsigned char *addr, size_t size)
 {
+
+	cpu_icache_sync_range((vm_offset_t)addr, size);
 }

 static __inline void