K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2009-04-14T19:02:34.957872Z
K 7
svn:log
V 113
Fix masking of TTE bits; the TD_*_MASK macros need shifting via the
corresponding TD_*_SHIFT.

MFC after:	3 days

END