clock_getres(0x3, &(0x7f00000003c0))