K 10
svn:author
V 3
bde
K 8
svn:date
V 27
2000-03-18T14:47:53.000000Z
K 7
svn:log
V 302
Disabled use of the global page feature.  Many places depend on invltlb()
invalidating all pages, but it only works for non-global pages.  A better
fix should be merged from -current when it is completely fixed there
(see rev.1.251 for the different work-around in -current).

PR:		16568, 14141 (part)

END