[PATCH 1/4] timecounter: Import from FreeBSD
--- cpukit/score/include/sys/_ffcounter.h | 42 + cpukit/score/include/sys/timeffc.h| 389 +++ cpukit/score/include/sys/timepps.h| 249 cpukit/score/include/sys/timetc.h | 89 ++ cpukit/score/include/sys/timex.h | 171 +++ cpukit/score/src/kern_tc.c| 20
[PATCH 1/4] timecounter: Import from FreeBSD
--- cpukit/score/include/sys/_ffcounter.h | 42 + cpukit/score/include/sys/timeffc.h| 389 +++ cpukit/score/include/sys/timepps.h| 249 cpukit/score/include/sys/timetc.h | 89 ++ cpukit/score/include/sys/timex.h | 171 +++ cpukit/score/src/kern_tc.c| 20