K 10 svn:author V 4 fsmp K 8 svn:date V 27 1997-04-28T00:24:28.000000Z K 7 svn:log V 145 remove the SMP_INVLTLB option, making the code default for APIC_IO. Reviewed by: informal discussion with Peter Wemm END