K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2010-12-28T17:02:15.045164Z
K 7
svn:log
V 265
Only keep track of PTE validity statistics for pages not locked in the
table. The 'locked' attribute is used to circumvent the regular page table
locking for some special pages, with the result that including locked pages
here causes races when updating the stats.

END