clock_settime(0x6, &(0x7f0000000000))