clock_gettime(0xad903121e7964669, 0x0)