Implement clock_gettime() (XCC)