Use newly added rdtsc32() for the timecounter_get_t method.

This commit is contained in:
Jung-uk Kim 2011-04-14 17:08:23 +00:00
parent 0e72764232
commit 727c7b2d66

View File

@ -363,8 +363,9 @@ sysctl_machdep_tsc_freq(SYSCTL_HANDLER_ARGS)
SYSCTL_PROC(_machdep, OID_AUTO, tsc_freq, CTLTYPE_U64 | CTLFLAG_RW,
0, 0, sysctl_machdep_tsc_freq, "QU", "Time Stamp Counter frequency");
static unsigned
static u_int
tsc_get_timecount(struct timecounter *tc)
{
return (rdtsc());
return (rdtsc32());
}