clock_gettime(0xe736e22181f0836b, 0x0)