Thomas Cort e67fc5771d libc: add clock_getres()/clock_gettime() system calls. ... In order to make it more clear that ticks should be used for timers and realtime should be used for timestamps / displaying the date/time, getuptime() was renamed to getticks() and getuptime2() was renamed to getuptime(). Servers, drivers, libraries, tests, etc that use getuptime()/getuptime2() have been updated. In instances where a realtime was calculated, the calculation was changed to use realtime. System calls clock_getres() and clock_gettime() were added to PM/libc.		2013-04-04 15:04:53 +02:00
..
action.c	retire PUBLIC, PRIVATE and FORWARD	2012-03-25 21:58:14 +02:00
action.h	Add fbd -- Faulty Block Device driver	2011-12-11 22:45:46 +01:00
fbd.c	libc: add clock_getres()/clock_gettime() system calls.	2013-04-04 15:04:53 +02:00
Makefile	libminc-related updates	2012-03-12 23:16:45 +01:00
rule.c	drop segment from safecopy invocations	2012-06-16 16:22:51 +00:00
rule.h	Add fbd -- Faulty Block Device driver	2011-12-11 22:45:46 +01:00