clock_getres(0xb00, 0x0)