svn commit: r295321 - head/sys/arm64/include

[Andrew Turner]

Author: andrew
Date: Fri Feb  5 15:38:28 2016
New Revision: 295321
URL: https://svnweb.freebsd.org/changeset/base/295321

Log:
  Implement kdb_cpu_sync_icache on arm64.
  
  Sponsored by:	ABT Systems Ltd

Modified:
  head/sys/arm64/include/kdb.h

Modified: head/sys/arm64/include/kdb.h
==============================================================================
--- head/sys/arm64/include/kdb.h	Fri Feb  5 15:35:33 2016	(r295320)
+++ head/sys/arm64/include/kdb.h	Fri Feb  5 15:38:28 2016	(r295321)
@@ -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