K 10
svn:author
V 8
cperciva
K 8
svn:date
V 27
2010-11-18T21:02:40.238841Z
K 7
svn:log
V 308
Don't KASSERT in pmap_release that
  xpmap_ptom(VM_PAGE_TO_PHYS(m)) == (pmap->pm_pdpt[i] & PG_FRAME)
for i = NPGPTD, since pmap->pm_pdpt[i] is only initialized for
0 <= i < NPGPTD.

This fixes an inevitable panic with XEN && PAE && INVARIANTS when
pmap_release is called (e.g., when /sbin/init is launched).

END