The following reply was made to PR port-arm/37276; it has been noted by GNATS.

From: Sami Kantoluoto <sami.kantoluoto@embedtronics.fi>
To: gnats-bugs@NetBSD.org
Cc: 
Subject: Re: port-arm/37276
Date: Sat, 22 Dec 2007 01:29:55 +0200

 --IS0zKkzwUGydFO0o
 Content-Type: text/plain; charset=iso-8859-1
 Content-Disposition: inline
 
 It seems the arm32/cpuswitch.S was simply missing an #include. Kernel
 compiled from matt-nb4-arm branch with following patch works ok.
 
 
      -sk
 
 --IS0zKkzwUGydFO0o
 Content-Type: text/plain; charset=iso-8859-1
 Content-Disposition: attachment; filename="arm32-cpuswitch.patch"
 
 Index: sys/arch/arm/arm32/cpuswitch.S
 ===================================================================
 RCS file: /cvsroot/src/sys/arch/arm/arm32/cpuswitch.S,v
 retrieving revision 1.44.12.1.4.1
 diff -b -c -5 -r1.44.12.1.4.1 cpuswitch.S
 *** sys/arch/arm/arm32/cpuswitch.S	10 Nov 2007 02:56:25 -0000	1.44.12.1.4.1
 --- sys/arch/arm/arm32/cpuswitch.S	21 Dec 2007 23:26:50 -0000
 ***************
 *** 85,94 ****
 --- 85,95 ----
   #include "assym.h"
   #include <arm/arm32/pte.h>
   #include <machine/param.h>
   #include <machine/cpu.h>
   #include <machine/frame.h>
 + #include <machine/pmap.h>
   #include <machine/asm.h>
   
   /* LINTSTUB: include <sys/param.h> */
   	
   #undef IRQdisable
 
 --IS0zKkzwUGydFO0o--