K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2006-05-30T16:55:38.000000Z
K 7
svn:log
V 120
In pmap_is_prefaultable(), assert that the pte isn't NULL if
pmap_get_pde_pte() returns TRUE.

Suggested by:   ssouhlal

END