Synopsis: KASSERTMSG in arm32/pmap.c triggered State-Changed-From-To: feedback->open State-Changed-By: dholland%NetBSD.org@localhost State-Changed-When: Wed, 10 Aug 2016 16:01:54 +0000 State-Changed-Why: fix address