clock_gettime(0x2bc8177adcdc234c, 0x0)