clock_gettime(0x1, &(0x7f0000000180))