K 10 svn:author V 3 bde K 8 svn:date V 27 1996-08-02T21:16:13.000000Z K 7 svn:log V 310 Eliminated i586_ctr_rate. Use i586_ctr_freq instead. Changed i586_ctr_bias from long long to u_int. Only the low 32 bits are used now that microtime uses a multiplication to do the scaling. Previously the high 32 bits had to match those of rdtsc() to prevent overflow traps and invalid timeval adjustments. END