clock_gettime(0x93acea08a11fea94, 0x0)