K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2001-12-30T09:22:08.000000Z
K 7
svn:log
V 147
Add missing predicate in interruption_Data_TLB. Without this
predicate we never used the VHPT entry we found.

While here, normalize the compares.

END