clock_gettime(0x0, 0x0) clock_gettime(0x0, &(0x7f0000004500)={0x0, 0x0}) futex(&(0x7f00000044c0)=0x1, 0x6, 0x0, &(0x7f0000004540)={r0, r1+10000000}, 0x0, 0x0)