briggs 06c4139448 If !_HAVE_TIMECOUNTER, initialize 'time' instead of 'time_second.'		2007-09-11 16:33:19 +00:00
..
rumpkern	If !_HAVE_TIMECOUNTER, initialize 'time' instead of 'time_second.'	2007-09-11 16:33:19 +00:00
rumpuser	Provide errno from rumpuser_{gettimeofday,close}() to be consistent.	2007-09-10 19:11:44 +00:00
Makefile