K 10 svn:author V 3 alc K 8 svn:date V 27 2010-01-30T18:17:43.104004Z K 7 svn:log V 99 MFC r202894 Handle a race between pmap_kextract() and pmap_promote_pde(). Approved by: re (kib) END