Synopsis: ISA_HOLE_VADDR() does not work at custom kernel State-Changed-From-To: open->closed State-Changed-By: wiz%NetBSD.org@localhost State-Changed-When: Sat, 12 Aug 2017 09:00:33 +0000 State-Changed-Why: Confirmed fixed. Thanks for the feedback!