From 9461d08a78b632f7edc8c78a893a0092fd73d560 Mon Sep 17 00:00:00 2001
From: mark <mark@NetBSD.org>
Date: Sun, 5 Oct 1997 22:58:26 +0000
Subject: [PATCH] Define a new sysarch call number ARM32_DRAIN_WRITEBUF that
 can be used to drain any CPU write buffer.

---
 sys/arch/arm32/include/sysarch.h | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/sys/arch/arm32/include/sysarch.h b/sys/arch/arm32/include/sysarch.h
index 12e093c02bcf..788b0e286e9c 100644
--- a/sys/arch/arm32/include/sysarch.h
+++ b/sys/arch/arm32/include/sysarch.h
@@ -1,4 +1,4 @@
-/*	$NetBSD: sysarch.h,v 1.2 1997/02/10 03:14:22 mark Exp $	*/
+/*	$NetBSD: sysarch.h,v 1.3 1997/10/05 22:58:26 mark Exp $	*/
 
 /*
  * Copyright (c) 1996-1997 Mark Brinicombe.
@@ -40,14 +40,16 @@
  */
 
 #define ARM32_SYNC_ICACHE	0
+#define ARM32_DRAIN_WRITEBUF	1
 
 struct arm32_sync_icache_args {
-	u_int	addr;
-	int	len;
+	u_int	addr;		/* Virtual start address */
+	int	len;		/* region size */
 };
 
 #ifndef _KERNEL
-int arm32_sync_icache __P((u_int addr, int len));
+int arm32_sync_icache		__P((u_int addr, int len));
+int arm32_drain_writebuf	__P((void));
 #endif
 
 #endif /* !_ARM32_SYSARCH_H_ */