vclock_gettime.c revision 715bd9d1
1