clock_gettime(0x7ffffffff000, 0x0)