Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

===================================================================
RCS file: /ftp/cvs/cvsroot/src/sys/arch/arm/include/arm32/machdep.h,v
rcsdiff: /ftp/cvs/cvsroot/src/sys/arch/arm/include/arm32/machdep.h,v: warning: Unknown phrases like `commitid ...;' are present.
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- src/sys/arch/arm/include/arm32/machdep.h	2002/01/07 22:58:08	1.2
+++ src/sys/arch/arm/include/arm32/machdep.h	2002/01/20 03:41:48	1.3
@@ -1,17 +1,24 @@
-/* $NetBSD: machdep.h,v 1.2 2002/01/07 22:58:08 chris Exp $ */
+/* $NetBSD: machdep.h,v 1.3 2002/01/20 03:41:48 thorpej Exp $ */
 
 #ifndef _ARM32_BOOT_MACHDEP_H_
 #define _ARM32_BOOT_MACHDEP_H_
 
 /* misc prototypes used by the many arm machdeps */
 void halt __P((void));
-vsize_t map_chunk __P((vaddr_t,	vaddr_t, vaddr_t, paddr_t, vsize_t, u_int,
-	u_int));
 void parse_mi_bootargs __P((char *));
 void data_abort_handler __P((trapframe_t *));
 void prefetch_abort_handler __P((trapframe_t *));
+void undefinedinstruction_bounce __P((trapframe_t *));
 void dumpsys	__P((void));
 
+void	map_section(vaddr_t, vaddr_t, paddr_t, int);
+void	map_pagetable(vaddr_t, vaddr_t, paddr_t);
+void	map_entry(vaddr_t, vaddr_t, paddr_t);
+void	map_entry_nc(vaddr_t, vaddr_t, paddr_t);
+void	map_entry_ro(vaddr_t, vaddr_t, paddr_t); 
+vsize_t map_chunk(vaddr_t, vaddr_t, vaddr_t, paddr_t, vsize_t,
+	    u_int, u_int);
+
 /* 
  * note that we use void * as all the platforms have different ideas on what
  * the structure is