vclock_gettime.c revision 1ed95e52
1