clock_gettime(0xef53a0726e260177, 0x0)