Frank Kardel wrote: > Module Name: src > Committed By: kardel > Date: Sun Jun 14 13:16:32 UTC 2009 > > Modified Files: > src/sys/kern: kern_tc.c > src/sys/sys: timepps.h > > Log Message: > Make PPS work with fast time counters (> 2GHz) > by making the pps count time stamp and the update > time stamp u_int64. > The time delta between two PPS events can now > be correctly calculated avoiding any unaccounted > for wraps with 32-bit counters. >
Please use uint64_t instead of u_int64_t. Christoph