| Index: fusl/src/time/timespec_get.c | 
| diff --git a/fusl/src/time/timespec_get.c b/fusl/src/time/timespec_get.c | 
| new file mode 100644 | 
| index 0000000000000000000000000000000000000000..03c5a77b7b09965bb64dee426062a5671e3fdd77 | 
| --- /dev/null | 
| +++ b/fusl/src/time/timespec_get.c | 
| @@ -0,0 +1,12 @@ | 
| +#include <time.h> | 
| + | 
| +int __clock_gettime(clockid_t, struct timespec *); | 
| + | 
| +/* There is no other implemented value than TIME_UTC; all other values | 
| + * are considered erroneous. */ | 
| +int timespec_get(struct timespec * ts, int base) | 
| +{ | 
| +	if (base != TIME_UTC) return 0; | 
| +	int ret = __clock_gettime(CLOCK_REALTIME, ts); | 
| +	return ret < 0 ? 0 : base; | 
| +} | 
|  |