clock_gettime(0x0, &(0x7f00000078c0))