K 10
svn:author
V 5
dyson
K 8
svn:date
V 27
1997-12-22T00:36:48.000000Z
K 7
svn:log
V 149
Hopefully fix the problem with the TLB not being updated correctly.
Problem tracked down by bde@freebsd.org, but this is an attempted
efficient fix.

END