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

From: IWAMOTO Toshihiro <toshii@w.email.ne.jp>
To: gnats-bugs@NetBSD.org
Cc: port-hpcarm-maintainer@netbsd.org, netbsd-bugs@netbsd.org,
	gnats-admin@netbsd.org, rjs@netbsd.org, baldur@foo.is
Subject: Re: port-hpcarm/36726 (-current/hpcarm doesn't build)
Date: Sun, 05 Aug 2007 23:34:02 +0900

 At Sat,  4 Aug 2007 17:21:46 +0000 (UTC),
 rjs@netbsd.org wrote:
 > 
 > Synopsis: -current/hpcarm doesn't build
 > 
 > State-Changed-From-To: open->analyzed
 > State-Changed-By: rjs@netbsd.org
 > State-Changed-When: Sat, 04 Aug 2007 17:21:45 +0000
 > State-Changed-Why:
 > The build fails as Makefiles for LKMs do not pass $MACHINE to gcc.
 > The interrupt code will need more extensive changes to fix this.
 
 I guess testing for __GENERIC_SOFT_INTERRUPTS_ALL_LEVELS would work
 (untested), which may be ok for a temporary fix.
 
 --
 IWAMOTO Toshihiro