Synopsis: a possible problem in x86 pmap_update State-Changed-From-To: feedback->closed State-Changed-By: yamt%NetBSD.org@localhost State-Changed-When: Mon, 31 Mar 2008 03:07:26 +0000 State-Changed-Why: it was my misreading of the code.