clock_gettime(0xc, 0x0)