K 10 svn:author V 3 jhb K 8 svn:date V 27 2005-11-22T22:54:42.000000Z K 7 svn:log V 101 Make COUNT_IPIS and COUNT_XINVLTLB_HITS real kernel options and take them out of machine/smptests.h. END