K 10 svn:author V 5 peter K 8 svn:date V 27 2002-07-11T08:31:10.000000Z K 7 svn:log V 73 Bah, move the invltlb counter to C code and hook a debug sysctl onto it. END