clock_getres(0x3888861ba3fa0756, 0x0)