clock_gettime(0x9, &(0x7f0000000240))